Свят на кубчетата
Действия:
- поставяне на едно кубче върху друго кубче: puton(a,b)
- поставяне на едно кубче върху масата: puton(c,table)
Състояния:
- едно кубче е върху друго кубче: on(a,b)
- едно кубче е върху масата: on(c,table)
- върху дадено кубче няма друго кубче: clear(c)