XSB: Extending Prolog with Tabled Logic Programming

Details XSB: Extending Prolog with Tabled Logic Programming XSB: Extending Prolog with Tabled Logic Programming

2010-12-23

arxiv.org/abs/1012.5123v1

Computer Science

Programming Languages

Scientific paper

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 XSB Prolog, along with discussion of how XSB supports tabling with dynamically changing code, and in a multi-threaded environment.

Affiliated with

Also associated with

No associations

Rating

XSB: Extending Prolog with Tabled Logic Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with XSB: Extending Prolog with Tabled Logic Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and XSB: Extending Prolog with Tabled Logic Programming will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-295847