[raw]/afs/cs.cmu.edu/project/twelf-5/misc/lolli/examples/iqblock% ../../bin/lolli
Starting Lolli version 0.94, Mar 18, 1995 -ic,fp
  (built with SML/NJ 110)...
?- iqblock --o solve L.
L_1 <- blue1 :: forest1 :: tan1 :: green1 :: purple1 :: yellow1 :: pink1 :: orange1 :: grass1 :: brown1 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: green1 :: purple1 :: brown4 :: orange5 :: grass1 :: pink1 :: yellow1 :: nil*
L_1 <- blue1 :: forest1 :: tan1 :: green1 :: purple7 :: yellow5 :: orange4 :: pink1 :: grass1 :: brown1 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: green1 :: purple7 :: orange6 :: pink4 :: grass1 :: yellow6 :: brown1 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: green1 :: purple7 :: orange6 :: brown5 :: grass1 :: pink1 :: yellow4 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: green1 :: yellow7 :: brown4 :: purple1 :: orange4 :: grass1 :: pink4 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: green1 :: orange5 :: purple3 :: yellow5 :: pink1 :: grass1 :: brown1 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: yellow8 :: pink1 :: green1 :: purple5 :: orange3 :: grass3 :: brown6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: yellow8 :: orange6 :: grass2 :: green2 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: pink3 :: purple8 :: yellow5 :: orange1 :: green2 :: grass1 :: brown6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: pink3 :: yellow7 :: green1 :: purple5 :: orange6 :: grass3 :: brown6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: pink3 :: grass4 :: green1 :: yellow5 :: orange3 :: purple6 :: brown1 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: pink4 :: yellow7 :: grass4 :: green2 :: purple2 :: brown6 :: orange6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: orange3 :: grass1 :: green1 :: purple5 :: pink4 :: brown6 :: yellow8 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: orange4 :: purple1 :: green1 :: brown4 :: grass1 :: pink4 :: yellow6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: grass2 :: green1 :: purple5 :: orange6 :: pink4 :: brown6 :: yellow8 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: grass2 :: green1 :: purple5 :: brown4 :: orange5 :: pink4 :: yellow6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: grass2 :: green1 :: yellow3 :: purple1 :: pink4 :: orange4 :: brown6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: grass2 :: green1 :: yellow3 :: purple7 :: pink4 :: orange7 :: brown6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: grass2 :: green1 :: yellow3 :: orange5 :: pink4 :: purple5 :: brown6 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: grass2 :: green1 :: yellow3 :: brown4 :: pink4 :: orange4 :: purple4 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: grass3 :: green1 :: purple5 :: orange1 :: pink4 :: brown6 :: yellow8 :: nil;
L_1 <- blue1 :: forest1 :: tan1 :: brown7 :: purple5 :: yellow7 :: green3 :: grass1 :: pink1 :: orange3 :: nil;
L_1 <- blue1 :: forest1 :: purple1 :: green1 :: yellow7 :: orange4 :: brown4 :: grass3 :: pink4 :: tan2 :: nil;
L_1 <- blue1 :: forest1 :: purple7 :: green1 :: yellow7 :: orange7 :: brown4 :: grass3 :: pink4 :: tan2 :: nil;
L_1 <- blue1 :: forest1 :: yellow7 :: grass2 :: green2 :: purple8 :: tan1 :: pink1 :: orange5 :: brown1 :: nil;
L_1 <- blue1 :: forest1 :: yellow7 :: grass2 :: orange7 :: purple4 :: tan1 :: pink1 :: green2 :: brown1 :: nil;
L_1 <- blue1 :: forest1 :: yellow7 :: brown7 :: purple5 :: pink3 :: green3 :: orange3 :: grass1 :: tan2 :: nil;
L_1 <- blue1 :: forest1 :: yellow7 :: brown7 :: purple5 :: pink3 :: green3 :: grass2 :: orange6 :: tan2 :: nil;
L_1 <- blue1 :: forest1 :: yellow7 :: brown7 :: purple5 :: pink3 :: green3 :: grass3 :: orange1 :: tan2 :: nil;
L_1 <- blue1 :: forest1 :: orange5 :: green1 :: yellow7 :: purple5 :: brown4 :: grass3 :: pink4 :: tan2 :: nil;
L_1 <- blue1 :: forest1 :: brown7 :: grass3 :: yellow7 :: purple4 :: pink4 :: green2 :: tan2 :: orange3 :: nil;
L_1 <- blue1 :: forest1 :: brown7 :: grass3 :: yellow8 :: green1 :: orange6 :: purple3 :: pink3 :: tan2 :: nil;
L_1 <- blue1 :: forest2 :: yellow3 :: orange5 :: tan1 :: grass2 :: green2 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: yellow4 :: tan1 :: orange6 :: grass2 :: green2 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: yellow7 :: orange4 :: tan1 :: grass2 :: green2 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: yellow8 :: tan1 :: orange1 :: grass2 :: green2 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: pink3 :: tan1 :: yellow7 :: grass4 :: green2 :: purple2 :: brown6 :: orange6 :: nil;
L_1 <- blue1 :: forest2 :: orange3 :: tan1 :: yellow6 :: grass2 :: green2 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: orange3 :: tan1 :: grass1 :: green2 :: yellow4 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: orange3 :: yellow1 :: grass1 :: purple5 :: green2 :: tan2 :: pink4 :: brown1 :: nil;
L_1 <- blue1 :: forest2 :: orange7 :: yellow1 :: tan1 :: grass2 :: green2 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: grass2 :: tan1 :: yellow5 :: pink1 :: green2 :: purple2 :: brown6 :: orange6 :: nil;
L_1 <- blue1 :: forest2 :: grass2 :: tan1 :: yellow5 :: orange7 :: green2 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: grass2 :: tan1 :: orange6 :: green2 :: yellow4 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: grass2 :: yellow1 :: orange6 :: purple5 :: green2 :: tan2 :: pink4 :: brown1 :: nil;
L_1 <- blue1 :: forest2 :: grass2 :: orange5 :: brown2 :: yellow5 :: green3 :: purple2 :: pink4 :: tan2 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: tan1 :: green1 :: pink4 :: brown5 :: yellow5 :: orange7 :: purple8 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: tan1 :: green1 :: pink4 :: brown5 :: orange6 :: yellow4 :: purple8 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: tan1 :: green1 :: brown4 :: yellow5 :: orange7 :: pink3 :: purple8 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: tan1 :: green1 :: brown4 :: orange6 :: pink3 :: yellow4 :: purple8 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: tan1 :: yellow3 :: pink4 :: green2 :: purple2 :: brown6 :: orange6 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: tan1 :: orange1 :: green2 :: yellow4 :: purple2 :: pink4 :: brown6 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: purple1 :: pink4 :: yellow3 :: tan1 :: orange1 :: green2 :: brown1 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: yellow1 :: green1 :: brown2 :: tan1 :: purple7 :: orange4 :: pink1 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: yellow1 :: pink4 :: purple5 :: tan1 :: orange5 :: green2 :: brown1 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: yellow1 :: orange1 :: purple5 :: green2 :: tan2 :: pink4 :: brown1 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: brown7 :: pink4 :: yellow3 :: tan1 :: green2 :: purple4 :: orange3 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: brown7 :: pink4 :: yellow3 :: tan1 :: green2 :: purple6 :: orange6 :: nil;
L_1 <- blue1 :: forest2 :: grass3 :: brown7 :: pink4 :: yellow3 :: tan1 :: green2 :: orange1 :: purple2 :: nil;
L_1 <- blue1 :: forest6 :: grass2 :: tan1 :: pink4 :: green1 :: yellow3 :: purple8 :: orange4 :: brown6 :: nil;
L_1 <- blue1 :: tan1 :: orange5 :: yellow7 :: forest2 :: grass2 :: purple3 :: pink1 :: green2 :: brown1 :: nil;
L_1 <- blue1 :: tan1 :: brown4 :: forest6 :: green3 :: pink4 :: yellow4 :: orange7 :: grass3 :: purple8 :: nil;
L_1 <- blue1 :: tan1 :: brown4 :: forest6 :: green3 :: pink4 :: yellow4 :: grass1 :: orange5 :: purple8 :: nil;
L_1 <- blue1 :: tan1 :: brown4 :: forest6 :: green3 :: pink4 :: yellow4 :: grass2 :: orange4 :: purple8 :: nil;
L_1 <- blue1 :: tan1 :: brown4 :: forest6 :: green3 :: pink4 :: grass2 :: purple2 :: yellow2 :: orange1 :: nil;
L_1 <- blue1 :: tan1 :: brown4 :: forest6 :: pink1 :: green1 :: orange6 :: yellow3 :: grass3 :: purple4 :: nil;
L_1 <- blue1 :: tan1 :: brown4 :: forest6 :: orange7 :: green1 :: pink4 :: yellow3 :: grass3 :: purple4 :: nil;
L_1 <- blue1 :: tan1 :: brown4 :: purple1 :: green1 :: pink3 :: yellow5 :: forest2 :: grass3 :: orange1 :: nil;