An Implementation of Extended P-Log Using XASP

Han The Anh, Carroline D. P. Kencana Ramli, Carlos Viegas Damasio

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Citations (Scopus)

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 its new set operations for domain definition.

Original languageEnglish
Title of host publicationLOGIC PROGRAMMING, PROCEEDINGS
EditorsMG DelaBanda, E Pontelli
PublisherSPRINGER-VERLAG BERLIN
Pages739-743
Number of pages5
ISBN (Print)978-3-540-89981-5
DOIs
Publication statusPublished - 2008
Event24th International Conference on Logic Programming (ICLP) - Udine, Italy
Duration: 9 Dec 200813 Dec 2008

Publication series

NameLecture Notes in Computer Science
PublisherSPRINGER-VERLAG BERLIN
Volume5366
ISSN (Print)0302-9743

Conference

Conference24th International Conference on Logic Programming (ICLP)
CountryItaly
CityUdine
Period9/12/0813/12/08

Keywords

  • Logic programming
  • Computers
  • Artificial intelligence

Cite this

Anh, H. T., Ramli, C. D. P. K., & Damasio, C. V. (2008). An Implementation of Extended P-Log Using XASP. In MG. DelaBanda, & E. Pontelli (Eds.), LOGIC PROGRAMMING, PROCEEDINGS (pp. 739-743). (Lecture Notes in Computer Science; Vol. 5366). SPRINGER-VERLAG BERLIN. https://doi.org/10.1007/978-3-540-89982-2_68