An implementation of extended P-log using XASP

T. A. Han, C. K. Ramli, C. V. Damásio

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

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.
Original languageEnglish
Title of host publicationLogic Programming. ICLP 2008
EditorsM Garcia de la Banda, E Pontelli
PublisherSpringer
Pages738-743
Number of pages6
ISBN (Electronic)9783540899822
DOIs
Publication statusPublished - 2008
EventInternational Conference on Logic Programming 2008 - Udine, Italy
Duration: 9 Dec 200813 Dec 2008

Publication series

Name Lecture Notes in Computer Science
PublisherSpringer
Volume5366

Conference

ConferenceInternational Conference on Logic Programming 2008
Abbreviated titleICLP 2008
CountryItaly
CityUdine
Period9/12/0813/12/08

Cite this