A technique for doing lazy evaluation in logic

DOI10.1016/0743-1066(86)90016-6zbMath0613.68014OpenAlexW2092753191MaRDI QIDQ4720773

Sanjai Narain

Publication date: 1986

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(86)90016-6

zbMATH Keywords

logic programmingprolog programNon-deterministic functions

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99)

Related Items (2)

From Logic to Functional Logic Programs ⋮ Optimization by non-deterministic, lazy rewriting

This page was built for publication: A technique for doing lazy evaluation in logic