A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Functional Logic Programming in Maude
[chapter]
2014
Lecture Notes in Computer Science
Functional logic programming languages combine the most important features of functional programming languages and logic programming languages. Functional logic programming applied to the Maude specification language would replace the functional viewpoint by an equational viewpoint while retaining the logic features. This paper tries to bridge the gap between functional logic languages and the current implementation of narrowing as symbolic reachability in Maude. It illustrates how many
doi:10.1007/978-3-642-54624-2_16
fatcat:5xvsjyk56net3azx4mb7rjzpqq