Hostname: page-component-7b7567c8c-7pwfn Total loading time: 0 Render date: 2026-11-15T15:48:47.337Z Has data issue: false hasContentIssue false
  • English
  • Français

On definite program answers and least Herbrand models

Published online by Cambridge University Press:  03 May 2016

WŁODZIMIERZ DRABENT
WŁODZIMIERZ DRABENT*
Affiliation:
Institute of Computer Science, Polish Academy of Sciences, ul. Jana Kazimierza 5, 01-248 Warszawa, PolandDepartment of Computer and Information Science, Linköping University, S – 581 83 Linköping, Sweden (e-mail: drabent@ipipan.waw.pl)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

A sufficient and necessary condition is given under which least Herbrand models exactly characterize the answers of definite clause programs.

Keywords

logic programmingleast Herbrand modeldeclarative semanticsfunction symbols

Information

Type
Regular Papers
Information
Theory and Practice of Logic Programming , Volume 16 , Issue 4 , July 2016, pp. 498 - 508
Copyright
Copyright © Cambridge University Press 2016 

References

Apt, K. R. 1997. From Logic Programming to Prolog. International Series in Computer Science, Prentice-Hall, Hemel Hempstead, Hertfordshire.Google Scholar
Bossi, A. 2009. S-semantics for logic programming: A retrospective look. Theoretical Computer Science 410, 46, 4692–4703.CrossRefGoogle Scholar
Davis, M. 1993. First order logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, Logic Foundations, Gabbay, D. M., Hogger, C. J. and Robinson, J. A., Eds. Oxford University Press, New York, 31–65.Google Scholar
Doets, K. 1994. From Logic to Logic Programming. The MIT Press, Cambridge, MA.Google Scholar
Drabent, W. 2016. Correctness and Completeness of Logic Programs. ACM Trans. Comput. Log. 17, 3 doi: http://dx.doi.org/10.1145/2898434.Google Scholar
Drabent, W. and Maluszynski, J. 1987. Inductive assertion method for logic programs. In TAPSOFT'87 (International Joint Conference on Theory and Practice of Software Development, Pisa, Italy), Vol. 2, Ehrig, H., Kowalski, R. A., Levi, G. and Montanari, U., Eds. Lecture Notes in Computer Science, Vol. 250. Springer-Verlag, Berlin, Heidelberg, 167–181.Google Scholar
Drabent, W. and Małuszyński, J. 1988. Inductive assertion method for logic programs. Theoretical Computer Science 59, 133–155.Google Scholar
Lloyd, J. W. 1987. Foundations of Logic Programming. Springer-Verlag, Berlin, Heidelberg. Second, extended edition.Google Scholar
Maher, M. J. 1988. Equivalences of logic programs. In Foundations of Deductive Databases and Logic Programming, Minker, J., Ed. Morgan Kaufmann Publishers, Inc. Los Altos California, 627–658.CrossRefGoogle Scholar
Naish, L. 2014. Transforming floundering into success. TPLP 14, 2, 215–238.Google Scholar
Shoenfield, J. R. 1967. Mathematical Logic. Addison-Wesley, Reading, MA.Google Scholar
Sterling, L. and Shapiro, E. 1994. The Art of Prolog, 2 ed. The MIT Press, Cambridge, MA.Google Scholar
van Dalen, D. 2004. Logic and Structure, 4th ed. Springer-Verlag, Berlin, Heidelberg.CrossRefGoogle Scholar