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.
|Name|| Lecture Notes in Computer Science|
|Conference||International Conference on Logic Programming 2008|
|Abbreviated title||ICLP 2008|
|Period||9/12/08 → 13/12/08|