Improving functional logic programs by difference-lists

DOI10.1007/3-540-44464-5_17MaRDI QIDQ2766540zbMATH OpenFDO

Authors Elvira Albert, C. Ferri, Germán Vidal, Frank Steiner

Publication date 8 July 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-44464-5_17

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Difference-list transformation for Prolog
• Rules + strategies for transforming lazy functional logic programs
• Automatic optimization of multi-paradigm declarative programs
• A transformation system for lazy functional logic programs
• Compiling multi-paradigm declarative programs into Prolog

Cited in

(2)

• Automatic optimization of multi-paradigm declarative programs
• Difference-list transformation for Prolog

This page was built for publication: Improving functional logic programs by difference-lists

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