Summary: Functional Logic Design Patterns #
Sergio Antoy 1 Michael Hanus 2
1 Computer Science Department, Portland State University,
P.O. Box 751, Portland, OR 97207, U.S.A.
2 Institut f˜ ur Informatik, ChristianAlbrechtsUniversit˜ at Kiel
Olshausenstr. 40, D24098 Kiel, Germany
6th Int. Symposium on Functional and Logic Programming (FLOPS'02)
Aizu, Japan --- Sept. 1517, 2002.
#SpringerVerlag LNCS Vol. 2441, pages 6787.
Abstract. We introduce a handful of software design patterns for functional
logic languages. Following usual approaches, for each pattern we propose a name
and we describe its intent, applicability, structure, consequences, etc. Our patterns
deal with data type construction, identifier declarations, mappings, search, non
determinism and other fundamental aspects of the design and implementation of
programs. We present some problems and we show fragments of programs that
solve these problems using our patterns. The programming language of our ex
amples is Curry. The complete programs are available online.