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

.