A Call-by-Need Strategy for Higher-Order Functional-Logic Programming

Abstract

We present an approach to truely higher order functional logic programming based on higher order narrowing Roughly speaking we model a higher order functional core language by higher order rewriting and extend it by logic variables For the integration of logic programs conditional rules are supported For solving goals in this framework we present a complete… (More)

Topics

Cite this paper

@inproceedings{Prehofer1995ACS, title={A Call-by-Need Strategy for Higher-Order Functional-Logic Programming}, author={Christian Prehofer}, booktitle={ILPS}, year={1995} }