1
Q
What does this do
a := !, 1=2.
A
120
2
Q
What does this do:
a(A,A) :!,fail.
a(,).
A
121
3
Q
Implementation of not using negation by failure
A
123
4
Q
Not implementation – is it a red/green/amber cut
A
124
5
Q
Why is `not’ based on the closed world assumption
A
125
6
Q
Give an example of negation being used in a larger program
A
126-127
7
Q
Give an example of how not could behave counterintuitively
A
128
8
Q
Explain how quantifiers interact with negation
A
129
