Logisch programmeren

Programming language implementation and logic programming: 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings

J. Maluszyński, M. Wirsing, eds.

Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings

Philippe Codognet

From logic design to logic programming: theorem proving techniques and P-functions

Dominique Snyers, André Thayse.

Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems

Raymond Reiter

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings (Lecture Notes in Computer Science)

Vladimir Lifschitz

Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science)

Graeme Smith, Eerke Boiten, John Derrick

Interactive relational database design: a logic programming implementation

Tapan P. Bagchi, Vinay K. Chaudhri.

Inductive Logic Programming: 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Stan Matwin

Programming language implementation and logic programming: 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings

M. Bruynooghe, M. Wirsing (eds.).

Logic Programming: The Joint [9th] International Conference & Symposium (Logic Programming)

Krzysztof Apt