Theory and practice in logic programming

  • Robert Kowalski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 636)


Logic Programming enjoys a relatively good relationship between its theory and its practice. Nonetheless, this relationship needs to be improved, and doing so is an important direction for research in the future. The European Community Basic Research Project, Compulog, and the more general “network of excellence”, Compulog-net, are concerned with developing such improvements.

Related reading

  1. 1.
    C. Hogger, R. Kowalski: Logic Programming. In Encyclopedia of Artificial Intelligence (ed. S. Shapiro), (second edition, 1992) Vol. 1 (A-L), pp. 873–891Google Scholar
  2. 2.
    R. Kowalski: Problems and Promises of Computational Logic. In Proceedings Symposium Computational Logic (ed. J. Lloyd), Springer-Verlag 1990, pp. 1–36Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Robert Kowalski
    • 1
  1. 1.Department of ComputingImperial CollegeLondonEngland, UK

Personalised recommendations