1% diverse
    2
    3% index 1 and 2
    4%%member(2,[1,2]):- member(2,[2]).
    5%%member(c,[a,b,c]):- member(c,[b,c]),member(c,[c]).
    6
    7% index 3 and 4
    8scene(X):- part_of(X,Y),large(X),red(Y),
    9           part_of(X,Z),small(Z),green(Z),left_of(Y,Z).
   10scene(X):- part_of(X,Y),small(X),red(Y),
   11           part_of(X,Z),large(Z),green(Z),left_of(Y,Z).
   12
   13
   14% index 5-9
   15pet(X) :- cat(X).
   16pet(X) :- dog(X).
   17small(X) :- cat(X).
   18
   19cuddly_pet(X):- small(X),fluffy(X),dog(X).
   20cuddly_pet(X):- fluffy(X),cat(X).
   21
   22ex(cuddly_pet(cathy_the_cat),+).
   23ex(cuddly_pet(rosi_the_rabbit),+).
   24ex(cuddly_pet(tom_the_turtle),-).
   25
   26% index 10-13
   27has_wings(p).
   28has_beak(p).
   29has_wings(X):- bird(X).
   30has_beak(X):- bird(X).
   31
   32% index 14 and 15
   33%%min(2,[3,2]):- min(2,[2]).
   34%%min(5,[7,6,5]):- min(5,[6,5]).
   35
   36% index 16 and 17
   37%%min1(D,[s(D)|E]):- min1(D,E).
   38%%min1(F,[s(s(F))|G]):- min1(F,G).