BinProlog

(language)Probably the fastest freely available C-emulatedProlog. BinProlog features:

logical and permanent global variables; backtrackabledestructive assignment; circular term unification;extended DCGs (now built into the engine as "invisiblegrammars"); intuitionistic and linear implication basedhypothetical 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 parallelextension to BinProlog for Solaris 2.3.

ftp://clement.info.umoncton.ca/BinProlog/.

E-mail: Paul Tarau .

单词	binprolog
释义	BinProlog BinProlog (language)Probably the fastest freely available C-emulatedProlog. BinProlog features: logical and permanent global variables; backtrackabledestructive assignment; circular term unification;extended DCGs (now built into the engine as "invisiblegrammars"); intuitionistic and linear implication basedhypothetical 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 parallelextension to BinProlog for Solaris 2.3. ftp://clement.info.umoncton.ca/BinProlog/. E-mail: Paul Tarau .
随便看	vacuome vacuometer vacuous vacuously vacuousness va curg vacurg vacurh vacutainer vacutome vacuuforming vacuum vacuum abortion vacuum accessories vacuum activity vacuum advance mechanism vacuum air tube vacuum and component data vacuum-arc casting vacuum-arc centrifuge vacuum arc double electrode remelting vacuum arc remelted vacuum aspiration vacuum aspirator vacuum-assisted biopsy