Jump to content

Power set: Difference between revisions

Power set (view source)

Revision as of 05:18, 22 February 2014

82 bytes removed ,  10 years ago
m
→‎Logical (cut-free) Definition: remove redundant comment
(Logical (cut-free) Definition)
m (→‎Logical (cut-free) Definition: remove redundant comment)
Line 1,715:
<lang Prolog>
powerset(X,Y) :- bagof( S, subseq(S,X), Y).
 
/* subseq(X,Y) will only be true if the list X is a subsequence of the list Y */
 
subseq( [], []).
Peak
2,519

edits

Retrieved from "https://rosettacode.org/wiki/Special:MobileDiff/74330"
Cookies help us deliver our services. By using our services, you agree to our use of cookies.
More information