Concurrent and Local Evaluation of Normal Programs

DOI10.1007/978-3-540-89982-2_24zbMath1185.68170OpenAlexW1568285603MaRDI QIDQ5504657

Rui Cunha 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

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

Related Items (3)

XSB: Extending Prolog with Tabled Logic Programming ⋮ Parallel Logic Programming: A Sequel ⋮ Towards multi-threaded local tabling using a common table space

Uses Software

• XSB
• OPTYap

Cites Work

• Unnamed Item
• The well-founded semantics for general logic programs
• Tabled evaluation with delaying for general logic programs
• On applying or-parallelism and tabling to logic programs
• Logic Programming

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