Logic Programming

(Up) | Wikipedia: Logic programming | See also: Prolog, Logic, Theorem Proving, Relational Programming, Unification

Works regarding the use of logic theorem proving techniques to execute computer programs.

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) 💭