scientific article; zbMATH DE number 1497838

zbMATH Open0958.68028MaRDI QIDQ4499264FDOQ4499264

Authors: Baoqiu Cui, David S. Warren 

Publication date: 6 March 2001

Title of this publication is not available (Why is that?)

Recommendations

• XSB: extending Prolog with tabled logic programming
• Tabling with answer subsumption: implementation, applications and performance
• scientific article; zbMATH DE number 1696815
• Logic Programming
• Attributed Data for CHR Indexing

zbMATH Keywords

constraint solvingtabled constraint logic programming system

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Theory and practice of constraint handling rules
• Title not available (Why is that?)
• Efficient access mechanisms for tabled logic programs

Cited In (1)

• Attributed Data for CHR Indexing

Uses Software

• SICStus
• XSB

This page was built for publication:

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