Logic Programming
-----------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Prolog](../Prolog/README.md#prolog), [Logic](../Logic/README.md#logic), [Theorem Proving](../Theorem%20Proving/README.md#theorem-proving), [Relational Programming](../Relational%20Programming/README.md#relational-programming), [Unification](../Unification/README.md#unification)_

- - - -


### Web resources

[What are the best uses of Logic Programming?](https://stackoverflow.com/questions/215742/what-are-the-best-uses-of-logic-programming) ★

[How to implement fully-declarative Horn logic?](https://stackoverflow.com/questions/31674831/how-to-implement-fully-declarative-horn-logic) ★

[Dept. of Computing, Imperial College, London: Robert Kowalski Home Page](https://www.doc.ic.ac.uk/~rak/) ★


### Repositories

_(in [Programming Languages](../Programming%20Languages/README.md#programming-languages))_ [UnrealVerseGuru/VerseProgrammingLanguage: Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets](https://github.com/UnrealVerseGuru/VerseProgrammingLanguage) ★


### Papers

The Semantics of Predicate Logic as a Programming Language (online @ [doc.ic.ac.uk](https://www.doc.ic.ac.uk/~rak/papers/kowalski-van_emden.pdf)) 🏛️


### Books

Programming with Higher-Order Logic (borrow with print disabilities @ [archive.org](https://archive.org/details/programmingwithh0000mill)) [💭](commentary/cpressey.md#programming-with-higher-order-logic)

_(in [Logic](../Logic/README.md#logic))_ Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow with print disabilities @ [archive.org](https://archive.org/details/handbookoflogici0001unse)) ★ [💭](commentary/cpressey.md#handbook-of-logic-in-artificial-intelligence-and-logic-programming-vol-1)

_(in [Logic](../Logic/README.md#logic))_ Handbook of logic in artificial intelligence and logic programming, Vol 2 (borrow with print disabilities @ [archive.org](https://archive.org/details/handbookoflogici0002unse)) ★

_(in [Logic](../Logic/README.md#logic))_ Handbook of logic in artificial intelligence and logic programming, Vol 4 (borrow with print disabilities @ [archive.org](https://archive.org/details/handbookoflogici0004unse)) ★

_(in [Logic](../Logic/README.md#logic))_ Simply Logical (online @ [book.simply-logical.space](https://book.simply-logical.space/src/simply-logical.html), [github.com](https://github.com/simply-logical/simply-logical/releases/download/v1.0/SL.pdf)) ★ [💭](commentary/cpressey.md#simply-logical)

_(in [Theory of Computation](../Theory%20of%20Computation/README.md#theory-of-computation))_ Computability Theory, Semantics, and Logic Programming (borrow @ [archive.org](https://archive.org/details/computabilitythe0000fitt)) [💭](commentary/cpressey.md#computability-theory-semantics-and-logic-programming)