2 \caption{Domain description task
1}
3 \label{domaintasktask1
}
4 \prologcode{./src/domaintask1.pl
}
7 \caption{Instance description task
4}
9 \prologcode{./src/instancetask4.pl
}
12 \caption{Instance description task
5}
14 \prologcode{./src/instancetask5.pl
}
17 \caption{Instance description task
6}
19 \prologcode{./src/instancetask6.pl
}
22 \caption{Domain description task
6}
24 \prologcode{./src/domaintask6.pl
}
27 \caption{Instance description task
7}
29 \prologcode{./src/instancetask7.pl
}
32 \caption{Domain description task
7}
34 \prologcode{./src/domaintask7.pl
}