OnlineWoerterBuecher.de
Internes

Lexikon


BinProlog


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 . (1995-04-04)

In addition suitable contents:
[ 2 ] [ 386 ] [ 486 ] [ 64-bit ] [ 80386 ] [ = ] [ @ ] [ ad ] [ ag ] [ ai ] [ al ] [ Alpha ] [ am ] [ an ] [ ar ] [ ARC ] [ arc ] [ as ] [ assignment ] [ at ] [ au ] [ av ] [ B ] [ b ] [ ba ] [ base ] [ bi ] [ bit ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ ck ] [ cl ] [ cr ] [ cu ] [ D ] [ DC ] [ DCG ] [ de ] [ DEC ] [ DEC Alpha ] [ do ] [ DOS ] [ du ] [ E ] [ ed ] [ ee ] [ engine ] [ er ] [ es ] [ et ] [ extend ] [ extension ] [ fas ] [ feature ] [ fi ] [ file ] [ fo ] [ for ] [ fr ] [ free ] [ G ] [ ge ] [ GI ] [ gi ] [ gl ] [ glob ] [ gn ] [ gr ] [ grammar ] [ gu ] [ h ] [ HP ] [ hr ] [ IBM ] [ id ] [ il ] [ in ] [ int ] [ Intel 486 ] [ Intel 80386 ] [ interface ] [ io ] [ IP ] [ IPS ] [ ir ] [ IS ] [ is ] [ it ] [ la ] [ language ] [ Lex ] [ li ] [ Linda ] [ line ] [ logical ] [ lt ] [ ly ] [ M ] [ ma ] [ mail ] [ man ] [ Microsoft ] [ MIPS ] [ mm ] [ mo ] [ mod ] [ module ] [ mp ] [ MS-DOS ] [ Mu ] [ mu ] [ Multi-BinProlog ] [ N ] [ na ] [ nc ] [ ne ] [ nf ] [ ng ] [ ni ] [ no ] [ ns ] [ nu ] [ O ] [ OS ] [ pa ] [ PARC ] [ pe ] [ ph ] [ pl ] [ Prolog ] [ PS ] [ query ] [ rc ] [ re ] [ RISC ] [ ro ] [ RS ] [ RS6000 ] [ ru ] [ run ] [ S ] [ SC ] [ se ] [ SGI ] [ si ] [ sig ] [ so ] [ Solaris ] [ SP ] [ SPAR ] [ SPARC ] [ st ] [ struct ] [ Sun ] [ SunOS ] [ T ] [ tar ] [ Tcl ] [ test ] [ th ] [ thread ] [ threaded ] [ Tk ] [ to ] [ tp ] [ tr ] [ track ] [ tw ] [ ua ] [ um ] [ unification ] [ V ] [ va ] [ var ] [ variable ] [ ve ] [ version ] [ vi ] [ Windows ] [ Windows 3.1 ] [ ws ] [ X ] [ XT ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (13512 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.104 Seconds, with 17 Database-Queries
Zurück zur Startseite