answer-set-programming/menu.lp at master · matt-thomson/answer-set-programming · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
% rules
caprese :- tomato, mozzarella, oil.

starter :- caprese.
main :- steak, fries.
dessert :- strawberries, iceCream.

menu1 :- starter, main.
menu2 :- main, dessert.

% negation as failure to model choice
% can only choose menu1 or menu2
choice1 :- menu1, not choice2.
choice2 :- menu2, not choice1.

% alternatively: choice rule - minimum on the left, maximum on the right
%1{choice1, choice2}1.

menu :- choice1.
menu :- choice2.

% constraints

% only allow answers with a menu
:- not menu.

% data (facts)
% like rules but no conclusion - they're always true
tomato.
mozzarella.
oil.
steak.
fries.
strawberries.
iceCream.

% show only the menu chosen
#hide.
#show choice1.
#show choice2.