CutNotFail 6 - anything sensible will happen if goals of...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Problems with CUT (cont.) Example (3): max( X, Y, X) :- X >= Y, !. max( X, Y, Y). :- max(1, 10, 10). true :- max(1, 10, Z). Z= 10 :- max(10, 1, Z). Z= 10 :- max(10, 1, 1). true ??? York University- CSE 3401- V. Movahedi 26 07_CutNotFail
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Warning! “If you introduce cuts to obtain correct behaviour when the goals are of one form, there is no guarantee that
Background image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: anything sensible will happen if goals of another form start appearing. [ Clocksin] Use cut only if you have a clear policy about the queries and how the rules are going to be used. York University- CSE 3401- V. Movahedi 27 07_CutNotFail...
View Full Document

Page1 / 2

CutNotFail 6 - anything sensible will happen if goals of...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online