Content deleted Content added
m Felix QW moved page Draft:Tabled logic programming to Tabled logic programming: Move to mainspace: See talk:Felix QW for rationale |
Remove section headings per talk:Felix QW. |
||
Line 12:
Tabled [[Prolog]] was first introduced in [[XSB]].<ref>{{Cite journal |last=Sagonas |first=Konstantinos |last2=Swift |first2=Terrance |last3=Warren |first3=David S. |date=1994-05-24 |title=XSB as an efficient deductive database engine |url=http://dx.doi.org/10.1145/191843.191927 |journal=ACM SIGMOD Record |volume=23 |issue=2 |pages=442–453 |doi=10.1145/191843.191927 |issn=0163-5808}}</ref> This resulted in a complete implementation of the [[well-founded semantics]], a three-valued semantics that represents values for true, false and unknown.<ref>{{Citation |last=Rao |first=Prasad |title=XSB: A system for efficiently computing well-founded semantics |date=1997 |url=http://dx.doi.org/10.1007/3-540-63255-7_33 |work=Logic Programming And Nonmonotonic Reasoning |pages=430–440 |access-date=2023-10-27 |place=Berlin, Heidelberg |publisher=Springer Berlin Heidelberg |isbn=978-3-540-63255-9 |last2=Sagonas |first2=Konstantinos |last3=Swift |first3=Terrance |last4=Warren |first4=David S. |last5=Freire |first5=Juliana}}</ref>
== References ==
{{reflist}}
| |||