Skip to main content
SpringerLink
Log in

An Implementation of Extended P-Log Using XASP

  • Conference paper
Logic Programming (ICLP 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5366))

Included in the following conference series:

Abstract

We propose a new approach for implementing P-log using XASP, the interface of XSB with Smodels. By using the tabling mechanism of XSB, our system is most of the times faster than P-log. In addition, our implementation has query features not supported by P-log, as well as new set operations for domain definition.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS, vol. 2923, pp. 21–33. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  2. Castro, L., Swift, T., Warren, D.S.: Xasp: Answer set programming with xsb and smodels, http://xsb.sourceforge.net/packages/xasp.pdf

  3. The xsb system version 3.0 volume 2: Libraries, interfaces and packages (2006)

    Google Scholar 

  4. Urgen Dix, J.: A classification theory of semantics of normal logic programs. Fundamenta Informaticae 22, 257–288 (1995)

    MathSciNet  MATH  Google Scholar 

  5. Swift, T.: Tabling for non-monotonic programming. Annals of Mathematics and Artificial Intelligence 25(3-4), 201–240 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  6. Niemelä, 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)

    Chapter  Google Scholar 

  7. Michael Shackleford, A.S.A.: Problem 62 solution - probabilities in poker (Last accessed June 10 2008), http://mathproblems.info/prob62s.htm

  8. Gelfond, M., Rushton, N., Zhu, W.: Combining logical and probabilistic reasoning. In: AAAI Spring Symposium (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CENTRIA, Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2829-516, Caparica, Portugal

    Han The Anh, Carroline D. P. Kencana Ramli & Carlos Viegas Damásio

Authors
  1. Han The Anh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carroline D. P. Kencana Ramli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Carlos Viegas Damásio
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Clayton School of Information Technology, Monash University, Australia

    Maria Garcia de la Banda

  2. Department of Computer Science, New Mexico State University, NM 88003, Las Cruces, USA

    Enrico Pontelli

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Anh, H.T., Kencana Ramli, C.D.P., Damásio, C.V. (2008). An Implementation of Extended P-Log Using XASP. In: Garcia de la Banda, M., Pontelli, E. (eds) Logic Programming. ICLP 2008. Lecture Notes in Computer Science, vol 5366. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89982-2_68

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89982-2_68

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89981-5

  • Online ISBN: 978-3-540-89982-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation