The Free On-line Dictionary of Computing (30 December 2018):

BinProlog

    Probably the fastest freely available C-emulated
   Prolog.  BinProlog features:

   logical and permanent global variables; backtrackable
   destructive assignment; circular term unification;
   extended DCGs (now built into the engine as "invisible
   grammars"); intuitionistic and linear implication based
   hypothetical reasoning; a Tcl/Tk interface.

   Version 3.30 runs on SPARC/Solaris 2.x, SunOS 4.x; DEC
   Alpha 64-bit version; DEC MIPS; SGI MIPS; 68k -
   NeXT, Sun-3; IBM RS6000; HP PA-RISC (two variants);
   Intel 80386, Intel 486/Linux, MS-DOS, Microsoft
   Windows 3.1 (with DOS-extender go32 v1.10).

   Multi-BinProlog is a multi-threaded Linda-style parallel
   extension to BinProlog for Solaris 2.3.

   (ftp://clement.info.umoncton.ca/BinProlog/).

   E-mail: Paul Tarau .

   (1995-04-04)