Logic Programming
(Up) | See also: Prolog, Logic, Theorem Proving, Relational Programming, Unification
Web resources
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 ★
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 with print disabilities @ archive.org) 💭
(in Logic) Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow with print disabilities @ archive.org) ★ 💭
(in Logic) Handbook of logic in artificial intelligence and logic programming, Vol 2 (borrow with print disabilities @ archive.org) ★
(in Logic) Handbook of logic in artificial intelligence and logic programming, Vol 4 (borrow with print disabilities @ 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) 💭