A system of tabled constraint logic programming

DOI10.1007/3-540-44957-4_32MaRDI QIDQ2767081zbMATH OpenFDO

Authors Baoqiu Cui, David S. Warren

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_32

Mathematics Subject Classification ID

Logic programming (68N17) Computing methodologies and applications (68U99)

Recommendations

• Description, implementation, and evaluation of a generic design for tabled CLP
• XSB: extending Prolog with tabled logic programming
• Logic Programming
• Tabling for non-monotonic programming
• Euro-Par 2004 Parallel Processing

Cited in

(9)

• Implementing CLP(\(\mathbb{B}{}\)) using the connection theorem proving method and a clause management system
• scientific article; zbMATH DE number 1497838 (Why is no real title available?)
• Planning as tabled logic programming
• scientific article; zbMATH DE number 1931687 (Why is no real title available?)
• Description, implementation, and evaluation of a generic design for tabled CLP
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
• Pragmatic Formal Specification of System Properties by Tables
• Generation of Rule-Based Constraint Solvers: Combined Approach
• Analysis and Transformation of Constrained Horn Clauses for Program Verification

Describes a project that uses

Uses Software

• XSB

This page was built for publication: A system of tabled constraint logic programming

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