Logic Programming

#programming-language

To Read:

Software

Misc

References
Sterling:1986:APA:6686

Sterling L., Shapiro E.: The art of Prolog: advanced programming techniques. (1986)

DBLP:journals Missing citation
byrd2010relational

Byrd W.E.: Relational programming in minikanren: techniques, applications, and implementations. (2010)

van2004concepts

Van P., Haridi S.: Concepts, techniques, and models of computer programming. (2004)