Hostname: page-component-7c8c6479df-27gpq Total loading time: 0 Render date: 2024-03-29T06:01:51.710Z Has data issue: false hasContentIssue false

Decidability of the Clark's completion semantics for monadic programs and queries

Published online by Cambridge University Press:  16 December 2014

LEVON HAYKAZYAN*
Affiliation:
Mathematical Institute, University of Oxford, Woodstock Road, Oxford, OX2 6GG, UK (email: haykazyanl@maths.ox.ac.uk)

Abstract

There are many different semantics for general logic programs (i.e. programs that use negation in the bodies of clauses). Most of these semantics are Turing complete (in a sense that can be made precise), implying that they are undecidable. To obtain decidability one needs to put additional restrictions on programs and queries. In logic programming it is natural to put restrictions on the underlying first-order language. In this note, we show the decidability of the Clark's completion semantics for monadic general programs and queries.

Type
Technical Note
Copyright
Copyright © Cambridge University Press 2014 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Börger, E., Grädel, E. and Gurevich, Y. 1997. The Classical Decision Problem. Springer Verlag, Berlin.Google Scholar
Clark, K. L. 1978. Negation as failure. In Logic and Databases, Gallaire, H. and Minker, J., Eds. Plenum, New York, 293322.Google Scholar
Gurevich, Y. 1966. On the effective recognizing of satisfiability of predicate formulas. Algebra and Logic 5, 2555.Google Scholar
Gurevich, Y. 1976. The decision problem for standard classes. Journal of Symbolic Logic 21, 2, 460464.CrossRefGoogle Scholar
Kunen, K. 1987. Negation in logic programming. Journal of Logic Programming 4, 289308.CrossRefGoogle Scholar
Lloyd, J. W. 1984. Foundations of Logic Programming. Springer-Verlag, Berlin.Google Scholar
Matos, A. B. 1997. Monadic logic programs and functional complexity. Theoretical Computer Science 176, 175204.Google Scholar
Matsushita, T. and Runciman, C. 2001. The accepting power of unary string logic programs. Theoretical Computer Science 266, 5979.CrossRefGoogle Scholar
Meyer, A. R. 1975. Weak monadic second order theory of successor is not elementary-recursive. In Logic Colloquium, Parikh, R., Ed. Springer, Berlin Heidelberg, 132154.Google Scholar
Rabin, M. O. 1969. Decidability of second order theories and automata on infinite trees. Transactions of The American Mathematical Society 141, 135.Google Scholar
Shepherdson, J. C. 2002. Language and equality theory in logic programming. In Logic, Meaning and Computation, Hendricks, V. F., Symons, J., Dalen, D., Kuipers, T. A., Seidenfeld, T., Suppes, P., Woleski, J., Anderson, C. A., and Zelny, M., Eds. Springer, Netherlands, 365392.Google Scholar