Send
Close Add comments:
(status displays here)
Got it! This site uses cookies. You consent to this by clicking on "Got it!" or by continuing to use this website.nbsp; Note: This appears on each machine/browser from which this site is accessed.
Practical examples of Prolog
1. Practical examples of Prolog
The following are some practical examples of Prolog and Datalog programs that the author has written.
Many are useful in the area of applied programming language theory.
2. Turbo Prolog
Musical ear training program
Simple music theory axioms and theorems
Guitar fretboard logic (with graphics)
Fractal initiator-generator patterns (with graphics)
3. VM/CMS Prolog
EBNF to syntax diagram translator
Denotational and assertion semantics specifications
Algebraic equation (inductive) theorem prover
Predicate logic to Horn clause logic translator
Concurrent Prolog simulator
Regular expression compiler-interpreter
LR(1) parser simulator
Recursive descent parser generator for context-free grammar
WARP processor simulator
4. Functional languages
Functional language compilers and interpreters
LISPKIT interpreter
SECD code compiler (eager evaluation)
SKI code (lazy evaluation)
G-machine compiler and graph reduction interpreter
Hindley-Milner polymorphic type-checker
Pretty-printing of functional code
5. End of page
