You are here: irt.org | FOLDOC | 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 » biometric device
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL