1 definition found From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]: BinPrologProbably 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 . (1995-04-04)
Powered by Blog Dictionary [BlogDict]
Kindly supported by
Vaffle Invitation Code
Get a Freelance Job - Outsource Your Projects | Threadless Coupon
All rights
reserved. (2008-2024)