scientific article; zbMATH DE number 4176423

MaRDI QIDQ3200534zbMATH OpenFDO

Authors Stefan Lüttringhaus

Publication date 1989

zbMATH Keywords

logic programs with functions

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• Functions and lazy evaluation in Prolog
• A technique for doing lazy evaluation in logic
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
• scientific article; zbMATH DE number 549962
• ELPI: fast, embeddable, \(\lambda \)Prolog interpreter

Cited in

(7)

• Functions and lazy evaluation in Prolog
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
• ELPI: fast, embeddable, \(\lambda \)Prolog interpreter
• Logic programming with functions and predicates: The language Babel
• Lazy List Comprehension in Logic Programming
• scientific article; zbMATH DE number 7453116 (Why is no real title available?)
• A technique for doing lazy evaluation in logic

Describes a project that uses

Uses Software

• Miranda

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