Logic Programming

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

• url: https://stackoverflow.com/questions/215742/what-are-the-best-uses-of-logic-programming

.

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

• url: https://stackoverflow.com/questions/31674831/how-to-implement-fully-declarative-horn-logic

.

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

• url: https://www.doc.ic.ac.uk/~rak/

.