Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of BINPROLOG

 
Computing Dictionary
 
 Definition: 

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.

E-mail: Paul Tarau <tarau@info.umoncton.ca>.

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY