非表示:
キーワード:
-
要旨:
Functional and logic programming are the most important declarative programming
paradigms, and interest in combining them has grown over the last decade. Early
research concentrated on the definition and improvement of execution principles
for such integrated languages, while more recently efficient implementations of
these execution principles have been developed so that these languages became
relevant for practical applications. In this paper we survey the development of
the operational semantics as well as the improvement of the implementation of
functional logic languages.