scientific article; zbMATH DE number 4176423

zbMATH Open0714.68010MaRDI QIDQ3200534FDOQ3200534

Stefan Lüttringhaus

Publication date: 1989

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

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

zbMATH Keywords

logic programs with functions

Mathematics Subject Classification ID

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

Cited In (5)

• Title not available (Why is that?)
• Logic programming with functions and predicates: The language Babel
• A technique for doing lazy evaluation in logic
• Lazy List Comprehension in Logic Programming
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems

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)