BINPROLOG


Meaning of BINPROLOG in English

< language > 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 tarau@info.umoncton.ca .

(1995-04-04)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.