Power set: Difference between revisions
→Logical (cut-free) Definition: symbolic operation etc
(→Logical (cut-free) Definition: clarify meaning of efficiency) |
(→Logical (cut-free) Definition: symbolic operation etc) |
||
Line 1,723:
<pre> ?- powerset([1,2,3], X).
X = [[], [1], [1, 2], [1, 2, 3], [1, 3], [2], [2, 3], [3]].
</pre>▼
% Symbolic:
:- powerset( [X,Y], S).
S = [[], [X], [X, Y], [Y]].
% In reverse:
:- powerset( [X,Y], [[], [1], [1, 2], [2]] ).
X = 1,
▲Y = 2.</pre>
===Single-Functor Definition===
| |||