< language > Probably the fastest freely available C -emulated Prolog . BinProlog features:
logical and permanent global variable s; backtrackable destructive assignment ; circular term unification ; extended DCG s (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 tarau@info.umoncton.ca .
(1995-04-04)