VDict - Definition of Edinburgh Prolog

search result for Edinburgh Prolog in Computing (FOLDOC) dictionary

First < Previous 1 2 3 Next > Last

Goedel Pascal-Linda EMAS Lisp-Linda WPOP Logic for Computable Functions ML-Linda POPLER EdML occurs check C++Linda ELSIE Extended ML Alice Baroque supercombinators ABSET Edinburgh SML Standard ML Edinburgh Multi Access System ProTalk ECLIPSE ASL+metalanguage Probe Aurora CHIP Quintec-Objects BABYLON CP FIDO VSP CIEL ELLIS VHLL BNR Prolog PHOCUS Nuprl KL0 inference engine ObjVProlog Spool AdLog BAP L&O Frolic AI International Common ESP Sticks&Stones SP Mandala UPMAIL Tricia Prolog Sequel TEMPLOG HOOK Guarded Horn Clauses ECP Andorra-I Paradigms of AI Programming ESP Kamin's interpreters backward chaining Charme bondage-and-discipline language Skel-ML intelligent backtracking TABLOG incremental constraint solver Distributed Logic Programming relational language POPLOG tail recursion modulo cons memo function ML Kit Hope Constraint Handling In Prolog CORAL declarative language Extended Self-containing Prolog Linda

First < Previous 1 2 3 Next > Last