Loading...
Please wait, while we are loading the content...
Similar Documents
XSB: Extending Prolog with Tabled Logic Programming
| Content Provider | Scilit |
|---|---|
| Author | Swift, Terrance Warren, David S. |
| Copyright Year | 2011 |
| Description | The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are partly theoretical: tabling ensures termination and optimal known complexity for queries to a large class of programs. However, the overriding reasons are practical. TLP allows sophisticated programs to be written concisely and efficiently, especially when mechanisms such as tabled negation and call and answer subsumption are supported. As a result, TLP has now been used in a variety of applications from program analysis to querying over the semantic web. This paper provides a survey of TLP and its applications as implemented in the XSB Prolog, along with discussion of how XSB supports tabling with dynamically changing code, and in a multi-threaded environment. |
| Related Links | http://arxiv.org/pdf/1012.5123 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/260AA88A3FFE3EAEB6A5CF6B01FC7EB5/S1471068411000500a.pdf/div-class-title-xsb-extending-prolog-with-tabled-logic-programming-div.pdf |
| Ending Page | 187 |
| Page Count | 31 |
| Starting Page | 157 |
| ISSN | 14710684 |
| e-ISSN | 14753081 |
| DOI | 10.1017/s1471068411000500 |
| Journal | Theory and Practice of Logic Programming |
| Issue Number | 1-2 |
| Volume Number | 12 |
| Language | English |
| Publisher | Cambridge University Press (CUP) |
| Publisher Date | 2012-01-01 |
| Access Restriction | Open |
| Subject Keyword | Theory and Practice of Logic Programming Computation Theory and Mathematics monotonic Reasoning |
| Content Type | Text |
| Resource Type | Article |
| Subject | Artificial Intelligence Theoretical Computer Science Computational Theory and Mathematics Hardware and Architecture Software |
