Rules2CP and PKML User's Manual
Julien G. A. Martin, Inria Paris-Rocquencourt · 2010
1 Getting Started 51.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51.2 Running Rules2CP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62 Rules2CP Syntax 73 Data structures with their Built-in Functions and Predicates 93.1 Booleans . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93.2 Integers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93.3 Finite Domain Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93.4 Strings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.5 Lists . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123.6 Records . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134 User-defined Functions and Predicates 154.1 Functions defined by Declarations . . . . . . . . . . . . . . . . . . . . . . . . 154.2 Predicates defined by Rules . . . . . . . . . . . . . . . . . . . . . . . . . . . 155 Combinators 175.1 Let . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175.2 Map . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175.3 Forall, Exists . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175.4 Fold right, Fold left . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186 Search 196.1 Enumeration of Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196.2 And/Or Search Trees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196.3 Optimization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193