Optimization by non-deterministic, lazy rewriting

Publisher Website

1 January 1989

book chapter
Published by Springer Nature

p. 326-342
https://doi.org/10.1007/3-540-51081-8_117

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

A data-dependency-based intelligent backtracking scheme for PROLOG
The Journal of Logic Programming, 1988
A technique for doing lazy evaluation in logic
The Journal of Logic Programming, 1986
Foundations of Logic Programming
Published by Springer Nature ,1984