Re: Counting propositions
From: x <x-false_at_yahoo.com>
Date: Tue, 22 Jun 2004 22:10:18 +0300
Message-ID: <40d8831c_at_post.usenet.com>
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).
Date: Tue, 22 Jun 2004 22:10:18 +0300
Message-ID: <40d8831c_at_post.usenet.com>
- Post for FREE via your newsreader at post.usenet.com ****
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 ?
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
- Usenet.com - The #1 Usenet Newsgroup Service on The Planet! ***
http://www.usenet.com
Unlimited Download - 19 Seperate Servers - 90,000 groups - Uncensored
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=