Functional Logic Programming in Maude

• Published in: Specification, Algebra, and Software Vol. 8373; pp. 315 - 336
• Main Author: Escobar, Santiago
• Format: Book Chapter
• Language: English
• Published: Germany Springer Berlin / Heidelberg 2014; Springer Berlin Heidelberg
• Series: Lecture Notes in Computer Science
• Subjects: Extra Variable; Functional Logic; Logic Program; Logic Programming; Strict Equality
• ISBN: 3642546234; 9783642546235
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-642-54624-2_16

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 features available in modern functional logic languages are easily definable and simulated in Maude but also shows how Maude goes beyond standard practices in the functional logic area by using, e.g. equational properties such as associativity and commutativity or order-sorted information. As a practical application we use the Missionaries and Cannibals equational logic program given by Goguen and Meseguer for Eqlog in the eighties.