Commentary by cpressey on Logic Programming works

Programming with Higher-Order Logic

LambdaProlog and HOAS. "All computation is proof search" - absolutely true.

The Semantics of Predicate Logic as a Programming Language

What are the best uses of Logic Programming?

How to implement fully-declarative Horn logic?

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