# Re: Counting propositions

From: bart demoen <bmd_at_cs.kuleuven.ac.be>

Date: Tue, 22 Jun 2004 23:00:33 +0200

Message-ID: <1087937883.848321_at_seven.kulnet.kuleuven.ac.be>

Date: Tue, 22 Jun 2004 23:00:33 +0200

Message-ID: <1087937883.848321_at_seven.kulnet.kuleuven.ac.be>

x wrote:

*> p(a).
**> p(x).
**> p(z).
**> p(u).
**>
**>
**> pset(0,[]).
**> pset([s(0)],[X]):-p(X).
*

> pset([s(N),N|P],[X,Y|L]):-pset([N|P],[X|L]),pset([N|P],[Y|L]),not(X=Y).

*>
**>
**> list(0,[]).
**> list(s(N),[s(N)|L]):-list(N,L).
**>
**> lp(N,S):-list(N,L),pset(L,S).
**>
**>
**> 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.

Cheers

Bart Demoen Received on Tue Jun 22 2004 - 23:00:33 CEST