Source : Free On-Line Dictionary of Computing

BinProlog
     
         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 .
     
        (1995-04-04)