scientific article; zbMATH DE number 549962

zbMATH Open0797.68031MaRDI QIDQ4287481FDOQ4287481

Authors: Sergio Antoy 

Publication date: 12 April 1994

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

Recommendations

• A technique for doing lazy evaluation in logic
• Lazy logical semantics
• scientific article; zbMATH DE number 4055576
• scientific article; zbMATH DE number 2032417
• The lazy logic of partial terms
• Lazy evaluations in Łukasiewicz type fuzzy logic
• Partial evaluation in logic programming
• Lazy List Comprehension in Logic Programming
• Functions and lazy evaluation in Prolog
• Lazy evaluation and delimited control

zbMATH Keywords

complexitycompletenessterm rewritingsoundnesslogic programminglazy evaluationlogic computationdeterministic computations

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Cited In (7)

• Title not available (Why is that?)
• A technique for doing lazy evaluation in logic
• Lazy List Comprehension in Logic Programming
• Preliminary arrangements of arguments in lazy evaluation
• Lazy rewriting and eager machinery
• Lazy evaluations in Łukasiewicz type fuzzy logic
• Optimization by non-deterministic, lazy rewriting

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