Stabel Model Implementation of Layer Supported Models by Program Transformation

  • Luís Moniz Pereira
  • Alexandre Miguel Pinto
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6547)


For practical applications, the use of top-down query-driven proof-procedures is convenient for an efficient use and computation of answers using Logic Programs as knowledge bases. A 2-valued semantics for Normal Logic Programs (NLPs) allowing for top-down query-solving is thus highly desirable, but the Stable Models semantics (SM) does not allow it, for lack of the relevance property. To overcome this limitation we introduced in [11], and summarize here, a new 2-valued semantics for NLPs - the Layer Supported Models semantics - which conservatively extends the SM semantics, enjoys relevance and cumulativity, guarantees model existence, and respects the Well-Founded Model. In this paper we exhibit a space and time linearly complex transformation, TR, from one propositional NLP into another, whose Layer Supported Models are precisely the Stable Models of the transform, which can then be computed by extant Stable Model implementations, providing a tool for the immediate generalized use of the new semantics and its applications. TR can be used to answer queries but is also of theoretical interest, for it may be used to prove properties of programs.Moreover, TR can be employed in combination with the top-down query procedure of XSBProlog, and be applied just to the residual program corresponding to a query (in compliance with the relevance property of Layer Supported Models). The XSBXASP interface then allows the program transform to be sent to Smodels for 2-valued evaluation.


Stable Models Layer Supported Models Relevance Layering Program Transformation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Castro, L., Swift, T., Warren, D.S.: XASP: Answer Set Programming with XSB and Smodels (1999),
  2. 2.
    Citrigno, S., Eiter, T., Faber, W., Gottlob, G., Koch, C., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The dlv system: Model generator and advanced frontends (system description). In: Workshop in Logic Programming (1997)Google Scholar
  3. 3.
    Damásio, C.V., Pereira, L.M.: Default negated conclusions: Why not? In: Herre, H., Dyckhoff, R., Schroeder-Heister, P. (eds.) ELP 1996. LNCS (LNAI), vol. 1050, pp. 103–118. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  4. 4.
    Dix, J.: A Classification-Theory of Semantics of Normal Logic Programs: I, II. Fundamenta Informaticae XXII(3), 227–255, 257–288 (1995)zbMATHGoogle Scholar
  5. 5.
    Dix, J., Gottlob, G., Marek, V.W., Rauszer, C.: Reducing disjunctive to non-disjunctive semantics by shift-operations. Fundamenta Informaticae 28, 87–100 (1996)zbMATHGoogle Scholar
  6. 6.
    Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. of ACM 38(3), 620–650 (1991)zbMATHGoogle Scholar
  7. 7.
    Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, pp. 1070–1080. MIT Press, Cambridge (1988)Google Scholar
  8. 8.
    Gelfond, M., Przymusinska, H., Lifschitz, V., Truszczynski, M.: Disjunctive defaults. In: KR 1991, pp. 230–237 (1991)Google Scholar
  9. 9.
    Niemelä, I., Simons, P.: Smodels - an implementation of the stable model and well-founded semantics for normal logic programs. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS (LNAI), vol. 1265, pp. 420–429. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  10. 10.
    Pereira, L.M., Pinto, A.M.: Layered models top-down querying of normal logic programs. In: Gill, A., Swift, T. (eds.) PADL 2009. LNCS, vol. 5418, pp. 254–268. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  11. 11.
    Pereira, L.M., Pinto, A.M.: Layer Supported Models of Logic Programs. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS (LNAI), vol. 5753, pp. 450–456. Springer, Heidelberg (2009), CrossRefGoogle Scholar
  12. 12.
    Przymusinski, T.C.: Perfect model semantics. In: ICLP/SLP, pp. 1081–1096 (1988)Google Scholar
  13. 13.
    Swift, T.: Tabling for non-monotonic programming. AMAI 25(3-4), 201–240 (1999)zbMATHGoogle Scholar
  14. 14.
    Swift, T., Pinto, A.M., Moniz Pereira, L.: Incremental answer completion in xsb-prolog. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 519–524. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Tarjan, R.: Depth-first search and linear graph algorithms. SIAM J. Computing 1(2), 146–160 (1972)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Luís Moniz Pereira
    • 1
  • Alexandre Miguel Pinto
    • 1
  1. 1.Centro de Inteligência Artificial (CENTRIA)Universidade Nova de LisboaCaparicaPortugal

Personalised recommendations