Curry: An Integrated Functional Logic Language

Contents
1 Introduction 3
2 Programs 3
2.1 Datatype Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Type Synonym Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3 Function Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3.1 Functions vs. Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.3.2 Conditional Equations with Boolean Guards . . . . . . . . . . . . . . . . . . 7
2.4 Local Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.5 Free Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.6 Constraints and Equality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.7 Higher-order Features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3 Operational Semantics 12
4 Types 14
4.1 Built-in Types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4.1.1 Boolean Values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4.1.2 Constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
4.1.3 Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4.1.4 Integers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4.1.5 Floating Point Numbers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4.1.6 Lists . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4.1.7 Characters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4.1.8 Strings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.1.9 Tuples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.2 Type System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
5 Expressions 20
5.1 Arithmetic Sequences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
5.2 List Comprehensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
5.3 Case Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
6 Modules 23
7 Input/Output 27
7.1 Monadic I/O . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
7.2 Do Notation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
8 Encapsulated Search 29
8.1 Search Goals and Search Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
8.2 Local Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
8.3 Predefined Search Operators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
8.4 Choice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
1