Commentary by cpressey on Logic Programming works

Programming with Higher-Order Logic

.

The Semantics of Predicate Logic as a Programming Language

.

prolog - What are the best uses of Logic Programming? - Stack Overflow

.

prolog - How to implement fully-declarative Horn logic? - Stack Overflow

.

Dept. of Computing, Imperial College, London: Robert Kowalski Home Page

.