Prolog++ Prolog is an Object oriented programming object oriented toolkit for the Prolog logic programming language ... within Prolog programs. Prolog was developed by Logic Programming Associates and first ..
OW Prolog
OW Prolog is an extension of Prolog , a logic based programming language, created to fit http www.amzi.com Amzi Prolog standards. OW Prolog was created by Or Weis in 2003, it provides a graphical interface ..
GNU Prolog
GNU Prolog also called gprolog is a compiler developed by http pauillac.inria.fr diaz Daniel Diaz with an interactive debugger debugging environment for Prolog available for Unix and Microsoft Windows ..
Strawberry Prolog
Strawberry Prolog is a programming language dialect dialect of the Prolog programming language . Its syntax of programming languages syntax is very close to that of ISO Prolog but it has many extensions ..
YAP Prolog
Infobox Software name YAP Prolog logo screenshot caption developer latest release version 5.1.1 latest ... source , high performance implementation of the Prolog programming language developed at LIACC ..
SWI-Prolog
SWI Prolog is an open source implementation of the programming language Prolog , commonly used for teaching ... , and extensive documentation. SWI Prolog runs on Unix , Microsoft Windows Windows , and Apple ..
Visual Prolog
Infobox software name Visual Prolog screenshot Image Visual Prolog IDE Screenshot.png 350px caption IDE ... http www.pdc.dk Prolog Development Center latest release version 7.1 latest release date July 2007 typing ..
Comparison of Prolog implementations
The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language . Feature ..
Comparison of Prolog standards compliance
cleanup afd date June 2007 long 114 Prolog is a logic programming language. The ISO Prolog standard ISO IEC 13211 1 ref ISO IEC 13211 Information technology &mdash Programming languages &mdash Prolog. International ..
Logtalk
Moura implementations dialects influenced by Prolog , Smalltalk , Prototype based programming , Object ... programming object oriented logic programming language that can use most Prolog implementations as a back ..
Objlog
Orphan date November 2006 Objlog was a frame based language combining objects and Prolog II from CNRS , Marseille, France. The Inheritance Processes in Prolog , C. Chouraki et al, GRTC 187bis Mars 1987 ..
BProlog
B Prolog is a high performance implementation of the standard Prolog language with several extended features ... released in 1994, B Prolog is now a widely used constraint logic programming CLP system. The constraint ..
P Sharp
pound P P is a Prolog logic programming language Interpreter computing interpreter written for the Common Language Infrastructure . Features Languages extensions allow concurrency in Prolog. Prolog programs ..
XSB
XSB is the name of a dialect of the Prolog programming language and its implementation developed at State ... vendor XSB, Inc. Originally, XSB was an extended version of SB Prolog , developed at Stony Brook ..
Richard O'Keefe
programming and functional programming including Prolog programming language Prolog , Haskell programming ... book on Prolog programming language Prolog programming The Craft of Prolog ISBN 0 262 15039 ..
KL0
Kernel Language 0 KL0 is a sequential logic programming language based on Prolog , used in the ICOT Fifth generation computer project. References FOLDOC compu lang stub Category Logic programming languages ..
Oblog
Orphan date November 2006 context Oblog is a small, portable, Object oriented extension to Prolog by Margaret McDougall of EdCAAD , University of Edinburgh . FOLDOC Category Object oriented programming ..
Logic Programming Associates
Logic Programming Associates is a company specializing in logic and artificial intelligence software. It was founded in 1980 and is most widely known for its Prolog compilers such as WIN PROLOG. Exter ...
PNU
medication PNU Prolog , an extension of Prolog Protein Nitrogen Unit , a measure of the potency ..
Warren abstract machine
In 1983, David H. D. Warren designed an abstract machine for the execution of Prolog consisting of a computer ... Abstract Machine WAM and has become the de facto standard target for Prolog compiler s. Purpose ..
David H. D. Warren
the programming language Prolog . Warren wrote the first compiler for Prolog. The Warren Abstract Machine execution environment for Prolog is named after him. David used to work for Artificial ..
ObjVProlog
Logic programming and object orientation , an adaptation of the ObjVlisp model to Prolog . ObjVProlog Metaclasses in Logic , J. Malenfant, ECOOP 89, Cambridge U Press 1989, pp.257 269 . FOLDOC compu lang ..
CHIP (programming language)
CHIP Constraint Handling in Prolog is a constraint logic programming language developed by M. Dincbas in 1985. External links http hopl.murdoch.edu.au showlanguage.prx?exp 1131&language CHIP CHIP History ..
Principal type
Robinson s unification algorithm , which is used by Prolog . Category Type theory formalmethods ..
Encyclopedia
top
