Cut! Flashcards
1
Q
Two ways to limit choice points to control backtracking
A
107
2
Q
Explain the semantics of cut
A
108-111
3
Q
See split/3 – what does it do?
split([],[],[]).
split([H|T],[H|L],R) :H < 5, split(T,L,R).
split([H|T],L,[H|R]) :H >= 5, split(T,L,R).
A
112
4
Q
What is a green cut?
A
113
5
Q
Logical meaning of
p :- a, b.
p :- c.
What about p :- a, !, b. p :- c?
A
114
