- Sterling and Shapiro [The art of Prolog: advanced programming techniques] is often recommended as the introductory text to Logic Programming.
- Nominal Logical Programming [@DBLP:journals/corr/abs-cs-0609062] – is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, alpha-equivalence). “powerful tool for informal reasoning about theoretical computer science. For me it made theoretical computer science tangible, and I hope these series of posts can do the same for the reader.” – swannodette
- miniKanren – is an embedded Domain Specific Language for logic programming. See also: Will Byrd’s Thesis – Relational Programming in miniKanren: Techniques, applications and implementations [Relational programming in minikanren: techniques, applications, and implementations].
- For real world applications of logic programming see – Concepts, Techniques, and Models of Computer Programming by Roy, Haridi and Seif [Concepts, techniques, and models of computer programming].
- logic-db is a js lib to combine logic programming and database
- Datalog 2.0 workshop –for Datalog pioneers, implementors, and current practitioners.
Sterling L., Shapiro E.: The art of Prolog: advanced programming techniques. (1986)
Byrd W.E.: Relational programming in minikanren: techniques, applications, and implementations. (2010)
Van P., Haridi S.: Concepts, techniques, and models of computer programming. (2004)