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 contributionpeer-review

16 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)
Country/TerritoryItaly
CityUdine
Period9/12/0813/12/08

Keywords

  • Logic programming
  • Computers
  • Artificial intelligence

Cite this