Changeset 4191 for trunk/library/set.lgt

Show
Ignore:
Timestamp:
04/06/08 09:40:19 (8 months ago)
Author:
pmoura
Message:

Corrected a typo in a predicate comment and some formatting typos.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/library/set.lgt

    r3687 r4191  
    9494        member_var(Element, Set). 
    9595 
    96     member_nonvar(Element, [Head| Tail]):- 
     96    member_nonvar(Element, [Head| Tail]) :- 
    9797        compare(Order, Element, Head), 
    9898        member_nonvar(Order, Element, Tail). 
    … …  
    105105    new([]). 
    106106 
    107     powerset(Set, PowerSet):- 
     107    powerset(Set, PowerSet) :- 
    108108        reverse(Set, RSet), 
    109109        powerset_1(RSet, [[]], PowerSet). 
    110110 
    111111    powerset_1([], PowerSet, PowerSet). 
    112     powerset_1([X| Xs], Yss0, Yss):- 
     112    powerset_1([X| Xs], Yss0, Yss) :- 
    113113        powerset_2(Yss0, X, Yss1), 
    114114        powerset_1(Xs, Yss1, Yss). 
    115115 
    116116    powerset_2([], _, []). 
    117     powerset_2([Zs| Zss], X, [Zs, [X| Zs]| Yss]):- 
     117    powerset_2([Zs| Zss], X, [Zs, [X| Zs]| Yss]) :- 
    118118        powerset_2(Zss, X, Yss). 
    119119