Concurrent and Local Evaluation of Normal Programs

DOI10.1007/978-3-540-89982-2_24zbMATH Open1185.68170OpenAlexW1568285603MaRDI QIDQ5504657FDOQ5504657

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

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

Mathematics Subject Classification ID

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

Cites Work

• On applying or-parallelism and tabling to logic programs
• The well-founded semantics for general logic programs
• Title not available (Why is that?)
• Tabled evaluation with delaying for general logic programs
• Logic Programming

Cited In (4)

• XSB: extending Prolog with tabled logic programming
• Parallel Logic Programming: A Sequel
• Title not available (Why is that?)
• Towards multi-threaded local tabling using a common table space

Uses Software

• XSB
• OPTYap

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)