Tree @master (Download .tar.gz)
cpressey.md @master — view markup · raw · history · blame
Ratings by cpressey of Logic Programming works
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
.