Summary: Functional Logic Design Patterns
Computer Science Department, Portland State University,
P.O. Box 751, Portland, OR 97207, U.S.A.
Institut f¨ur Informatik, Christian-Albrechts-Universit¨at Kiel
Olshausenstr. 40, D-24098 Kiel, Germany
6th Int. Symposium on Functional and Logic Programming (FLOPS'02)
Aizu, Japan -- Sept. 15-17, 2002.
c Springer-Verlag LNCS Vol. 2441, pages 67-87.
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