# Logic Programming

To Read:

- 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].

## Software

- logic-db is a js lib to combine logic programming and database

## Misc

- Datalog 2.0 workshop –for Datalog pioneers, implementors, and current practitioners.

Sterling:1986:APA:6686 | Sterling L., Shapiro E.: |

DBLP:journals | Missing citation |

byrd2010relational | Byrd W.E.: |

van2004concepts | Van P., Haridi S.: |