Re: Counting propositions
Date: Tue, 22 Jun 2004 23:00:33 +0200
> Why the lp(N,L) goal don't stop ?
Let's simplify your problem a bit:
Try understanding why the goal ?- list(N,S), N = blabla.
does not stop.
Or ?- list(N,S), S = blabla.
Once you get that, your original question will become easier for you.
Bart Demoen Received on Tue Jun 22 2004 - 23:00:33 CEST