Commentary by Chris Pressey
This work is distributed under a CC-BY-ND-4.0 license, with the following explicit exception: the ratings may be freely used for any purpose with no limitations.
Logic Programming
Programming with Higher-Order Logic
- rating: TODO
.
The Semantics of Predicate Logic as a Programming Language
- rating: classic
.
prolog - What are the best uses of Logic Programming? - Stack Overflow
- rating: 1
.
prolog - How to implement fully-declarative Horn logic? - Stack Overflow
- rating: 1
.
Dept. of Computing, Imperial College, London: Robert Kowalski Home Page
- rating: 1
.