Titlebook: Declarative Programming, Sasbachwalden 1991; PHOENIX Seminar and John Darlington,Roland Dietrich (Dr. rer. nat.) Conference proceedings 19

macrophage

Aboveboard

相符

Sabine Achour,Martin Lücke,Detlef Pechs. We present a simple classification of existing integrated functional and logic programming systems and show how the design space induces a powerful new programming paradigm, constraint functional logic programming, and provides insights into other aspects of declarative programming such as concurrency and program transformation.

Graduated

https://doi.org/10.1007/978-3-658-29556-1 logic programming (CLP), by admitting user-defined functions as a purely functional subsystem of a CLP language. This paper presents the motivation for designing CFLP and its semantics. Programming examples are given in the concrete CFLP language Falcon.