BinProlog
<language> 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 <[email protected]>.
(1995-04-04)