Re: Boundary conditions
Alan Baljeu <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <[email protected]> |
>You say that clause 2 and 3 overlap and leave a choice point. I doubt this. >\+member( H, Control) from clause 2 fails when H is member from Control so >Prolog jumps to the next clause. >Clause 3 is not interested in H and then passes control to clause 2. I> copied this approach from one of the examples I found in '' 99 Problems in >Prolog, https://prof.ti.bfh.ch/hew1/informatik3/prolog/p-99/" When clause 2 succeeds in matching \+ member, it leaves open the possibility of clause 3 also succeeding, which it will. This is the choice point. -------------- next part -------------- HTML attachment scrubbed and removed