@inproceedings{7aefb8735b5345dc9bc362cd07954c5a,
title = "XSB: A system for efficiently computing well-founded semantics",
abstract = "The well-founded model provides a natural and robust semantics for logic programs with negative literals in rule bodies. We implemented the well-founded semantics in the SLG-WAM of XSB [19]. Performance results indicate that the overhead of delay and simplification to Prolog-or tabled-evaluations is minimal. To compute the well-founded semantics, the SLG-WAM adds to an efficient tabling engine for definite programs three operations-negative loop detection, delay and simplification-which serve to detect, to break and to resolve cycles through negation that might arise in evaluating normal programs. XSB is a full Prolog system that closely approximates the ISO standard; additionally, it supports a tight integration of tabled predicates with nontabled predicates.",
author = "Prasad Rao and Konstantinos Sagonas and Terrance Swift and Warren, {David S.} and Juliana Freire",
note = "Publisher Copyright: {\textcopyright} 1997, Springer Verlag. All rights reserved.; 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 ; Conference date: 28-07-1997 Through 31-07-1997",
year = "1997",
doi = "10.1007/3-540-63255-7_33",
language = "English (US)",
isbn = "9783540632559",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "431--440",
editor = "Jurgen Dix and Ulrich Furbach and Anil Nerode",
booktitle = "Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings",
}