Theory and practice in logic programming
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.
- 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.R. Kowalski: Problems and Promises of Computational Logic. In Proceedings Symposium Computational Logic (ed. J. Lloyd), Springer-Verlag 1990, pp. 1–36Google Scholar