Search the community

Cut operator scope when subsequent goals fail after unification succeeds

Precise pruning boundary of the cut operator In ISO Prolog and major implementations such as SWI-Prolog, the cut operator ( ! ) discards choice points created since the parent goal was invoked. Unification of the clause head occurs before the cut is reached; if unification fails the cut is never executed and alternative clauses remain available. When unifica

prologcut-operatorbacktrackingNeel Vale0 rep · 19 Nov 2022, 11:29 UTC