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 de?nition.
Original language | Unknown |
---|---|
Title of host publication | NONE |
Editors | LS Lopes, N Lau, P Mariano, LM Rocha |
Publisher | Univ. de Aveiro |
Pages | 115-126 |
Volume | N/A |
ISBN (Print) | 978-972-96895-4-3 |
Publication status | Published - 1 Jan 2009 |
Event | New Trends in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009 - Duration: 1 Jan 2009 → … |
Conference
Conference | New Trends in Artificial Intelligence, 14th Portuguese Conference on Artificial Intelligence, EPIA 2009 |
---|---|
Period | 1/01/09 → … |