Logic Programming
(Up) | See also: Prolog, Logic, Theorem Proving, Relational Programming, Unification
Web resources
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 ★
Repositories
(in Programming Languages) UnrealVerseGuru/VerseProgrammingLanguage: Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets ★
Papers
The Semantics of Predicate Logic as a Programming Language (online @ doc.ic.ac.uk) 🏛️
Books
Programming with Higher-Order Logic (borrow @ archive.org)
(in Logic) Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow @ archive.org) 💭
(in Logic) Handbook of logic in artificial intelligence and logic programming, Vol 2 (borrow @ archive.org)
(in Logic) Handbook of logic in artificial intelligence and logic programming, Vol 4 (borrow @ archive.org)
(in Logic) Simply Logical (online @ book.simply-logical.space, github.com) ★ 💭
(in Theory of Computation) Computability Theory, Semantics, and Logic Programming (borrow @ archive.org) 💭