A User's Guide to gringo, clasp, clingo, and iclingo

Contents
1 Introduction 4
2 Quickstart 6
2.1 Problem Instance . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.2 Problem Encoding . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.3 Problem Solution . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3 Input Languages 9
3.1 Input Language of gringo and clingo . . . . . . . . . . . . . . . 9
3.1.1 Normal Programs and Integrity Constraints . . . . . . . . . . 9
3.1.2 Classical Negation . . . . . . . . . . . . . . . . . . . . . . . 11
3.1.3 Disjunction . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
3.1.4 Built-In Arithmetic Functions . . . . . . . . . . . . . . . . . 12
3.1.5 Built-In Comparison Predicates . . . . . . . . . . . . . . . . 13
3.1.6 Assignments . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.1.7 Intervals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.1.8 Conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.1.9 Pooling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.1.10 Aggregates . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.1.11 Optimization . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.1.12 Meta-Statements . . . . . . . . . . . . . . . . . . . . . . . . 23
3.1.13 Integrated Scripting Language . . . . . . . . . . . . . . . . . 26
3.2 Input Language of iclingo . . . . . . . . . . . . . . . . . . . . . . 29
3.3 Input Language of clasp . . . . . . . . . . . . . . . . . . . . . . . 31
4 Examples 32
4.1 N-Coloring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.1.1 Problem Instance . . . . . . . . . . . . . . . . . . . . . . . . 32
4.1.2 Problem Encoding . . . . . . . . . . . . . . . . . . . . . . . 33
4.1.3 Problem Solution . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2 Traveling Salesperson . . . . . . . . . . . . . . . . . . . . . . . . . . 34
4.2.1 Problem Instance . . . . . . . . . . . . . . . . . . . . . . . . 34
4.2.2 Problem Encoding . . . . . . . . . . . . . . . . . . . . . . . 35
4.2.3 Problem Solution . . . . . . . . . . . . . . . . . . . . . . . . 36
4.3 Blocks-World Planning . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.3.1 Problem Instance . . . . . . . . . . . . . . . . . . . . . . . . 37
4.3.2 Problem Encoding . . . . . . . . . . . . . . . . . . . . . . . 38
4.3.3 Problem Solution . . . . . . . . . . . . . . . . . . . . . . . . 39
5 Command Line Options 40
5.1 gringo Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
5.2 clingo Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
5.3 iclingo Options . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
5.4 clasp Options . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
5.4.1 General Options . . . . . . . . . . . . . . . . . . . . . . . . 43
5.4.2 Search Options . . . . . . . . . . . . . . . . . . . . . . . . . 45
5.4.3 Lookback Options . . . . . . . . . . . . . . . . . . . . . . . 46
2