8
.
/cs/www/classes/cs372/spring16/a8/tests
/cs/www/classes/cs372/spring16/a8/master
#
problem queries queries.pl
build a8/checkpl queries.pl
test queries

template ulimit -t 2; echo "findall(X,<TEST>,L), sort(L,Results), writeln('Results:'), member(X,Results),writeln(X),fail." | ./a.out
# 2>&1 | sed -n '/^Results:/,$p'
#sed 's/L = .*\],//'

case q0(X)
case q1(X)
case q2(X)
case q3(X)
case q4(X)
case q5(X)
case q6(X)
case q7(X)
case q8(X)
case q9(X)
case q10(X)
case q11(X)
case q12(X)
case q13(X)
case q14(X)

problem altrules altrules.pl
build a8/checkpl altrules.pl
test altrules

case ulimit -t 2; echo "findall(F,food(F),L), sort(L,Results), writeln('Results:'), member(F,Results),writeln(F),fail." | ./a.out
case ulimit -t 2; echo "findall(F-C,color(F,C),L), sort(L,Results), writeln('Results:'), member(F-C,Results),writeln(F-C),fail." | ./a.out

problem sequence sequence.pl
build a8/checkpl sequence.pl
test sequence

case ulimit -t 2; echo 'sequence.' | ./a.out

problem rect rect.pl
build a8/checkpl rect.pl
test rect

template ulimit -t 2; echo '<TEST>' | ./a.out
case square(rect(3,4)).
case square(rect(5,5)).
case landscape(rect(16,9)).
case landscape(rect(3,4)).
case portrait(rect(3,4)).
case portrait(rect(10,1)).
case landscape(rect(3,3)).
case portrait(rect(3,3)).
case classify(rect(3,4),T).
case classify(rect(10,1),T).
case classify(rect(3,3),T).
case classify(rect(3),T).
case classify(10,T).
case rotate(rect(3,4),R).
case rotate(R,rect(3,4)).
case rotate(rect(5,7),rect(7,5)).
case rotate(rect(3,3),R).
case rotate(rect(3,4),rect(W,H)).
case rotate(rect(3,X),rect(Y,4)).
case smaller(rect(3,5), rect(5,7)).
case smaller(rect(3,5), rect(7,5)).
case add(rect(3,4),rect(5,6),R).
case add(rect(3,4),rect(5,6),rect(W,H)).
case add(rect(3,4),rect(5,6),rect(10,10)).
case X = 10, add(rect(3,4),rect(5,6),rect(X,X)).

problem consec consec.pl
build a8/checkpl consec.pl
test consec

template ulimit -t 2; echo '<TEST>' | ./a.out
case consec(A,B,C).
case consec(6,B,C).
case consec(A,20,C).
case consec(10,11,C).
case consec(A,B,5).
case consec(7,B,9).
case consec(A,3,4).
case consec(2,3,4).
case consec(10,10,11).
case consec(A,A,A).
case consec(A,5,A).

problem bases bases.pl
build a8/checkpl bases.pl
test bases

template ulimit -t 2; echo '<TEST>' | ./a.out

case bases(0, 1).
case bases(0, 5).
case bases(16, 17).
case bases(1022, 1027).

problem grid grid.pl
build a8/checkpl grid.pl
test grid

#template echo '<TEST>' | ./a.out 2>&1 | sed '/^true/,$d'
template ulimit -t 2; echo '<TEST>' | ./a.out

case grid(five, three).
case grid(three, one).
case grid(eight, nine).
case grid(twelve, fifteen).
case grid(eighty-eight, thirty-one).
case grid(two-eighty, one-twelve).
case grid([], []).
case grid(1, seven).
case grid(1, 11).
case grid(one, 11).

problem rsg rsg.pl
build a8/checkpl rsg.pl
test rsg

template ulimit -t 10; echo '<TEST>' | ./a.out 2>&1 | grep -c ^---
# sed -n '/^For help, use ?- help/,$p' 

case rsg(1).
case rsg(10).