RE: CUT and FAIL in KnowledgeWorks

Thank you. That helps.

dey

-----Original Message-----
From: Jason Trenouth [mailto:jason.trenouth@GlobalGraphics.com]
Sent: Friday, June 27, 2003 12:34 PM
To: Young, David
Cc: 'lisp-hug@xanalys.com'
Subject: Re: CUT and FAIL in KnowledgeWorks


Hi,

Really you should read a text book on Prolog, but briefly:

"cut" means that once control passes though that point the
backtracking possibilities in that predicate are eliminated.

"fail" means that failure is forced. The predicate fails as if you had
asked to eg unify two things that didn't match...