Abstract
We present a system (\(\mathbb{ASP-PROLOG}\)) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive power of ASP, allowing us to write programs that reason about dynamic ASP modules and about collections of stable models. These features are vital in a number of application domains (e.g., planning, scheduling, diagnosis). We describe the design of \(\mathbb{ASP-PROLOG}\) along with its implementation, realized using CIAO Prolog and Smodels.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
The DLV Wrapper Project. 160.97.47.246:8080/wrapper (2003)
Castro, L., Swift, T., Warren, D.S.: XASP: Answer Set Programming with XSB and Smodels. SUNY Stony Brook (2002), xsb.sourceforge.net/packages/xasp.pdf
Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The KR System dlv: Progress Report, Comparisons, and Benchmarks. In: KR 1998, pp. 406–417 (1998)
Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programs. In: ICLPS 1988, pp. 1070–1080. MIT Press, Cambridge (1988)
Heljanko, K., Niemela, I.: Answer Set Programming and Bounded Model Checking. TPLP 3(4), 519–550 (2003)
Hermenegildo, M., Bueno, F., Cabeza, D., Carro, M., García de la Banda, M.J., López-García, P., Puebla, G.: The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. In: Parallelism and Implementation of Logic and Constraint Logic Programming, Nova Science, Commack, NY, USA, April 1999, pp. 65–85 (1999)
Lierler, Y., Maratea, M.: Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 346–350. Springer, Heidelberg (2003)
Lifschitz, V.: Action Languages, Answer Sets, and Planning. In: The Logic Programming Paradigm, Springer, Heidelberg (1999)
Lin, F., Zhao, Y.: ASSAT: Computing Answer Sets of A Logic Program By SAT Solvers. In: AAAI, pp. 112–117 (2002)
Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1987)
Marek, V.W., Truszczyński, M.: Stable Models and an Alternative Logic Programming Paradigm. In: Apt, K.R., Marek, V.W., Truszcziński, M., Warren, D.S. (eds.) The Logic Programming Paradigm, Springer, Heidelberg (1999)
Niemela, I.: Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm. Annals of Mathematics and AI 25(3/4), 241–273 (1999)
Niemela, I., Simons, P.: Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol. 1265, pp. 421–430. Springer, Heidelberg (1997)
Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., Barry, M.: An A-Prolog Descision Support System for the Space Shuttle. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 169–183. Springer, Heidelberg (2001)
Pineda, M., Bueno, F.: The O’Ciao Approach to Object Oriented Logic Programming. In: Colloquium on Implementation of Constraint Logic Programming Systems (2002)
Son, T.C., Pontelli, E.: Planning with preferences using logic programming. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 247–260. Springer, Heidelberg (2003)
Syrjänen, T.: Lparse User’s Manual, http://www.tcs.hut.fi/Software/smodels/
Syrjänen, T.: Implementation of Local Grounding for Logic Programs with Stable Model Semantics. Technical Report B-18, Helsinki University of Technology (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Elkhatib, O., Pontelli, E., Son, T.C. (2004). \(\mathbb{ASP-PROLOG}\): A System for Reasoning about Answer Set Programs in Prolog. In: Jayaraman, B. (eds) Practical Aspects of Declarative Languages. PADL 2004. Lecture Notes in Computer Science, vol 3057. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24836-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-24836-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22253-8
Online ISBN: 978-3-540-24836-1
eBook Packages: Springer Book Archive