macrophage
发表于 2025-3-30 12:09:12
http://reply.papertrans.cn/27/2644/264385/264385_51.png
Aboveboard
发表于 2025-3-30 15:37:37
http://reply.papertrans.cn/27/2644/264385/264385_52.png
相符
发表于 2025-3-30 20:09:25
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
发表于 2025-3-31 00:21:47
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.