VDict mobile



language Probably the fastest freely available C-emulated
Prolog. BinProlog features:
logical and permanent global variables; backtrackable
extended DCGs (now built into the engine as "invisible
grammars"); intuitionistic and linear implication based
Version 3.30 runs on SPARC/Solaris 2.x, SunOS 4.x; DECAlpha 64-bit version; DEC MIPS; SGI MIPS; 68k -
NeXT, Sun-3; IBM RS6000; HP PA-RISC (two variants);
extension to BinProlog for Solaris 2.3.
.
E-mail: Paul Tarau [email protected].
(1995-04-04)