Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Related reading
C. Hogger, R. Kowalski: Logic Programming. In Encyclopedia of Artificial Intelligence (ed. S. Shapiro), (second edition, 1992) Vol. 1 (A-L), pp. 873–891
R. Kowalski: Problems and Promises of Computational Logic. In Proceedings Symposium Computational Logic (ed. J. Lloyd), Springer-Verlag 1990, pp. 1–36
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kowalski, R. (1992). Theory and practice in logic programming. In: Comyn, G., Fuchs, N.E., Ratcliffe, M.J. (eds) Logic Programming in Action. LPSS 1992. Lecture Notes in Computer Science, vol 636. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55930-2_1
Download citation
DOI: https://doi.org/10.1007/3-540-55930-2_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55930-6
Online ISBN: 978-3-540-47312-1
eBook Packages: Springer Book Archive