▼ |  | Racklog: Prolog-Style Logic Programming

1 | Simple Goals and Queries
2 | Predicates
3 | Using Conventional Racket Expressions in Racklog
4 | Backtracking
5 | Unification
6 | Conjunctions and Disjunctions
7 | Manipulating Racklog Variables
8 | The Cut (!)
9 | Set Predicates
10 | Higher-order Predicates
11 | Racklog Module Language
12 | Glossary of Racklog Primitives
| Bibliography

top ← prev up next →

### Bibliography

[aop] |  | Leon Sterling and Ehud Shapiro, The Art of Prolog, 2nd Edition, MIT Press, 1994. http://mitpress.mit.edu/books/art-prolog
[bratko] |  | Ivan Bratko, Prolog Programming for Artificial Intelligence, Addison-Wesley, 1986.
[campbell] |  | J A Campbell (editor), Implementations of Prolog, Ellis Horwood, 1984.
[ok:prolog] |  | Richard A O’Keefe, The Craft of Prolog, MIT Press, 1990. http://mitpress.mit.edu/books/craft-prolog
[logick] |  | Christopher T Haynes, “Logic continuations,” J Logic Program, vol 4, 157–176, 1987.
[mf:prolog] |  | Matthias Felleisen, “Transliterating Prolog into Scheme,” Indiana U Comp Sci Dept Tech Report #182, 1985.

top ← prev up next →