Concurrent and Local Evaluation of Normal Programs

DOI10.1007/978-3-540-89982-2_24MaRDI QIDQ5504657zbMATH OpenOpenAlexFDO

Authors R. C. Marques, Terrance Swift

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_24

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Tabled evaluation with delaying for general logic programs
• scientific article; zbMATH DE number 1332641
• SLT-resolution for the well-founded semantics
• scientific article; zbMATH DE number 1487801
• An abstract machine for efficiently computing queries to well-founded models

Cites work

• scientific article; zbMATH DE number 1332641 (Why is no real title available?)
• Logic Programming
• On applying or-parallelism and tabling to logic programs
• Tabled evaluation with delaying for general logic programs
• The well-founded semantics for general logic programs

Cited in

(4)

• XSB: extending Prolog with tabled logic programming
• Parallel Logic Programming: A Sequel
• scientific article; zbMATH DE number 1863305 (Why is no real title available?)
• Towards multi-threaded local tabling using a common table space

Describes a project that uses

Uses Software

• OPTYap
• XSB

This page was built for publication: Concurrent and Local Evaluation of Normal Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5504657)