Hostname: page-component-7d684dbfc8-lxvtp Total loading time: 0 Render date: 2023-09-28T11:33:42.442Z Has data issue: false Feature Flags: { "corePageComponentGetUserInfoFromSharedSession": true, "coreDisableEcommerce": false, "coreDisableSocialShare": false, "coreDisableEcommerceForArticlePurchase": false, "coreDisableEcommerceForBookPurchase": false, "coreDisableEcommerceForElementPurchase": false, "coreUseNewShare": true, "useRatesEcommerce": true } hasContentIssue false

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

Published online by Cambridge University Press:  16 December 2014

Mathematical Institute, University of Oxford, Woodstock Road, Oxford, OX2 6GG, UK (email:


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.

Technical Note
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.)


Börger, E., Grädel, E. and Gurevich, Y. 1997. The Classical Decision Problem. Springer Verlag, Berlin.CrossRefGoogle 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.CrossRefGoogle Scholar
Matos, A. B. 1997. Monadic logic programs and functional complexity. Theoretical Computer Science 176, 175204.CrossRefGoogle 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.CrossRefGoogle 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