## A unified computation model for functional and logic programming (1997)

Venue: | IN PROC. OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (PARIS |

Citations: | 140 - 67 self |

### BibTeX

@INPROCEEDINGS{Hanus97aunified,

author = {Michael Hanus},

title = {A unified computation model for functional and logic programming},

booktitle = {IN PROC. OF THE 24TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES (PARIS},

year = {1997},

pages = {80--93},

publisher = {ACM}

}

### Years of Citing Articles

### OpenURL

### Abstract

We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and integrated functional logic languages (residuation and narrowing). This computation model combines efficient evaluation principles of functional languages with the problem-solving capabilities of logic programming. Since the model allows the delay of function calls which are not sufficiently instantiated, it also supports a concurrent style of programming. We provide soundness and completeness results and show that known evaluation principles of functional logic languages are particular instances of this model. Thus, our model is a suitable basis for future declarative programming languages.