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 <tarau@info.umoncton.ca>.
(1995-04-04)
Nearby terms:
binding-time analysis « BinHex « Binhex 4.0 «
BinProlog
» bioinformatics » BioMeDical Package » BIOR
|
