scientific article; zbMATH DE number 1950447

MaRDI QIDQ4413060zbMATH OpenFDO

Authors Neng-Fa Zhou, Yi-Dong Shen, Li Yan Yuan, Jia-Huai You

Publication date 17 July 2003

Full work available at URL http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2001/S01-02/S01-02.html

zbMATH Keywords

B-Prolog

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Linear tabling strategies and optimizations
• Publication:4506394
• Linear tabulated resolution based on Prolog control strategy
• Tabling as a library with delimited control
• XSB: extending Prolog with tabled logic programming

Cited in

(9)

• Dynamic reordering of alternatives for definite logic programs
• Logic programming with solution preferences
• XSB: extending Prolog with tabled logic programming
• On combining linear-based strategies for tabled evaluation of logic programs
• Linear tabulated resolution based on Prolog control strategy
• scientific article; zbMATH DE number 1508930 (Why is no real title available?)
• Tabling as a library with delimited control
• Linear tabling strategies and optimizations
• Enhancing global SLS-resolution with loop cutting and tabling mechanisms

Describes a project that uses

Uses Software

• XSB
• CAT

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 Q4413060)