Search results
17 results found, showing results 1 to 10.
1 Prolog (85.9% relevant)
... Prolog is a programming language based around ... Intelligence Programming ( PAIP ) contains a Prolog interpreter/compiler in Common ... Paul Graham's On Lisp also contains a Prolog compiler. Gambol is a basic Prolog interpreter in Common Lisp. Qi is a language extending common lisp with prolog capabilities, as well as optional and ... Hideyuki Nakashima wrote a Prolog interpreter that is available from the CMU ... /afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/ppicl
2 Prolog Technology Theorem Prover (47.2% relevant)
... Prolog Technology Theorem Prover is an ... theorem-proving procedure that extends Prolog to the full first-order predicate calculus. PTTP differs from Prolog in its use of: (1) unification with the ... elimination inference rule that is added to Prolog inferences to make the inference system complete. PTTP also extends Prolog by providing the capability of printing
3 Gambol (19.6% relevant)
... is an AI library providing basic prolog-like functionality for Common
4 Abhijit Rao (10.6% relevant)
... you to try Lisp? A friend of mine programmed Prolog. I tried Prolog but didnt really get
5 Qi (10.5% relevant)
... lambda calculus consistent Inbuilt Prolog
6 Wm Annis (7.5% relevant)
... Responsible for: gambol a simple Prolog cl-period represent and test time
7 Lisp Servay (6.8% relevant)
... I am also thinking of learning Prolog for simular reasons that made me choose to
8 Donald Fisk (6.4% relevant)
... I also have significant experience in Bash, Prolog, Pascal, Java, and various assembly
9 Reini Urban (5.8% relevant)
... your road originate? Basic, Pascal, C and Prolog
10 AlexPeake (5.1% relevant)
... afield -- ML and friends, Haskell and friends, Prolog, Mozart, Python, Rebol, and many
CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively