Program 1
1{a(D):b(D)}1.
b(x).
b(y). Program 2
1{a(D)}1 :- b(D).
b(x).
b(y).
To understand their differences, see their answer sets respectively.
For program 1
Answer: 1 b(x) b(y) a(y) Answer: 2 b(x) b(y) a(x)
For program 2
Answer: 1 b(x) b(y) a(y) a(x)
Now I think you have figured out. The condition in choice rule plays a role.
No comments:
Post a Comment