XSB: Extending Prolog with Tabled Logic Programming

摘要: The paradigm of Tabled Logic Programming (TLP) is now supported by a number Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. reasons for this are partly theoretical: tabling ensures termination optimal known complexity queries to large class programs. However the overriding practical. TLP allows sophisticated programs be written concisely efficiently, especially when mechanisms such as tabled negation call answer subsumption supported. As result has been used in variety applications from program analysis querying over semantic web. This paper provides survey its implemented XSB along with discussion how supports dynamically changing code, multi-threaded environment.