A framework for goal-directed bottom-up evaluation of functional logic programs

DOI10.1007/3-540-44716-4_10MaRDI QIDQ2763636zbMATH OpenFDO

Authors Jesús M. Almendros-Jiménez, Antonio Becerra-Terón

Publication date 21 January 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2024/20240153

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Database theory (68P15) Computing methodologies and applications (68U99)

Recommendations

• Efficient goal directed bottom-up evaluation of logic programs
• Evaluation strategies for functional logic programming
• Evaluation strategies for functional logic programming
• Depth-bounded bottom-up evaluation of logic programs
• scientific article; zbMATH DE number 1973220
• An evaluation semantics for narrowing-based functional logic languages
• Exploiting goal independence in the analysis of logic programs
• scientific article; zbMATH DE number 2032417
• A framework for bottom up specialisation of logic programs
• Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

Cited in

(3)

• Cost-augmented partial evaluation of functional logic programs
• A safe relational calculus for functional logic deductive databases
• Database query languages and functional logic programming

Describes a project that uses

Uses Software

• BABEL
• Kernel-LEAF
• SICStus

This page was built for publication: A framework for goal-directed bottom-up evaluation of functional logic programs

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