Skip to content

Instantly share code, notes, and snippets.

@orymate

orymate/erl.pl

Created November 7, 2011 14:24
Show Gist options
  • Save orymate/1345155 to your computer and use it in GitHub Desktop.
Save orymate/1345155 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
erl.pl
erlteszt :-
tryhelyese(0,true,s(2,
[[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []]]),
[[2,3, 4,1],
[4,1, 2,3],
[3,2, 1,4],
[1,4, 3,2]]
),
tryhelyese(1,true,s(2,
[[ [v(2)], [w], [], [w]],
[ [], [s], [], [o]],
[ [], [], [v(1)], []],
[ [], [], [], []]]),
[[2,3, 4,1],
[4,1, 2,3],
[3,2, 1,4],
[1,4, 3,2]]
),
tryhelyese(2,false,s(2,
[[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []]]),
[[2,4, 3,1],
[4,1, 2,3],
[3,2, 1,4],
[1,3, 4,2]]
),
tryhelyese(3,false,s(2,
[[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []]]),
[[2,3, 4,1],
[4,1, 2,3],
[1,4, 1,4],
[3,2, 3,2]]
),
tryhelyese(4,false,s(2,
[[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []]]),
[[2,3, 4,1],
[4,1, 2,3],
[3,2, 1,4],
[1,4, 2,3]]
),
tryhelyese(5,false,s(2,
[[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []],
[ [], [], [v(2)], []]]),
[[2,3, 4,1],
[4,1, 2,3],
[3,2, 1,4],
[1,4, 3,2]]
),
tryhelyese(6,false,s(2,
[[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []],
[ [], [], [e], []]]),
[[2,3, 4,1],
[4,1, 2,3],
[3,2, 1,4],
[1,4, 3,2]]
),
tryhelyese(7,false,s(2,
[[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], [o]]]),
[[2,3, 4,1],
[4,1, 2,3],
[3,2, 1,4],
[1,4, 3,2]]
),
tryhelyese(8,false,s(2,
[[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], [s]],
[ [], [], [], []]]),
[[2,3, 4,1],
[4,1, 2,3],
[3,2, 1,4],
[1,4, 3,2]]
),
tryhelyese(9,false,s(2,
[[ [], [], [w], []],
[ [], [], [], []],
[ [], [], [], []],
[ [], [], [], []]]),
[[3,2, 4,1],
[4,1, 2,3],
[2,3, 1,4],
[1,4, 3,2]]
),
tryhelyese(10,false,s(2,
[[ [v(2)], [w], [s], []],
[ [], [s], [], [o]],
[ [], [], [v(1)], []],
[ [], [], [], []]]),
[[2,3, 4,1],
[4,1, 2,3],
[3,2, 1,4],
[1,4, 3,2]]
),
tryhelyese(11,true,s(2,
[[ [e,v(2),s], [w], [e], []],
[ [], [e,s,w], [], [o]],
[ [], [], [v(1)], []],
[ [], [], [], []]]),
[[2,1, 4,3],
[3,4, 2,1],
[4,3, 1,2],
[1,2, 3,4]]
),
tryhelyese(12,true,s(3,
[[ [], [v(2)], [v(3)], [v(4)], [v(1)], [], [v(5)], [v(8)], []],
[ [], [v(7)], [v(8)], [], [], [], [], [v(2)], [v(1)]],
[ [], [], [v(5)], [v(7)], [v(2)], [], [], [v(3)], [v(9)]],
[ [], [v(8)], [v(2)], [v(9)], [v(6)], [v(1)], [], [v(4)], []],
[ [], [v(9)], [], [v(5)], [], [v(4)], [], [v(1)], []],
[ [], [v(6)], [], [v(2)], [v(7)], [v(3)], [v(9)], [v(5)], []],
[ [v(7)], [v(4)], [], [], [v(9)], [v(5)], [v(3)], [], []],
[ [v(2)], [v(3)], [], [], [], [], [v(8)], [v(9)], []],
[ [], [v(5)], [v(9)], [], [v(3)], [v(2)], [v(1)], [v(7)], []]]),
[[6,2,3, 4,1,9, 5,8,7],
[9,7,8, 3,5,6, 4,2,1],
[4,1,5, 7,2,8, 6,3,9],
[5,8,2, 9,6,1, 7,4,3],
[3,9,7, 5,8,4, 2,1,6],
[1,6,4, 2,7,3, 9,5,8],
[7,4,1, 8,9,5, 3,6,2],
[2,3,6, 1,4,7, 8,9,5],
[8,5,9, 6,3,2, 1,7,4]]
),
tryhelyese(13,true,s(3,
[[ [v(2)], [], [v(9)], [s], [], [s], [s], [e], []],
[ [], [s], [v(4)], [w], [v(9)], [v(8)], [], [o], [e]],
[ [], [e,w], [v(1)], [w], [], [o], [], [w], [s,w]],
[ [], [], [], [w], [], [w], [], [o], []],
[ [], [], [], [], [w], [], [w], [w], [v(8)]],
[ [], [], [], [], [], [], [o], [o], []],
[ [], [], [], [v(3)], [], [], [v(1)], [e], [s]],
[ [], [], [], [v(1)], [], [], [v(2)], [], [e]],
[ [], [], [], [w], [w], [v(2)], [], [w], []]]),
[[2,8,9, 6,1,7, 5,4,3],
[3,7,4, 5,9,8, 6,1,2],
[5,6,1, 2,4,3, 9,8,7],
[7,3,8, 9,2,1, 4,5,6],
[1,9,5, 7,6,4, 3,2,8],
[4,2,6, 8,3,5, 7,9,1],
[8,4,2, 3,7,9, 1,6,5],
[9,5,7, 1,8,6, 2,3,4],
[6,1,3, 4,5,2, 8,7,9]]
),
write('Minden teszt ok.\n').
tryhelyese(Id, true, T, L) :-
write('Vart ertek: yes. Teszt id: '),
write(Id),
write('\n'),
helyese(T, L),
write('\tOK\n').
tryhelyese(Id, false, T, L) :-
write('Vart ertek: fail. Teszt id: '),
write(Id),
write('\n'),
\+ helyese(T, L),
write('\tOK\n').
Raw
gen.sh
awk 'BEGIN {print "erlteszt :-"}
/true|false/ {printf "\ttryhelyese(%d,%s,%s,\n", i++, $1, A;
A = "";
next}
/helyese/ {sub(/khf3:helyese[(]{/, "s(");
A = $0;
Szamcsere = 1;
next}
{if (Szamcsere) {
gsub(/[0-9]/, "v(&)");
}
if (sub(/}/, ")")) {
Szamcsere = 0;
}
sub(/\./, "");
A = A "\n" $0}' erl > erl.pl
cat >> erl.pl <<EOF
write('Minden teszt ok.\n').
tryhelyese(Id, true, T, L) :-
write('Vart ertek: yes. Teszt id: '),
write(Id),
write('\n'),
helyese(T, L),
write('\tOK\n').
tryhelyese(Id, false, T, L) :-
write('Vart ertek: fail. Teszt id: '),
write(Id),
write('\n'),
\+ helyese(T, L),
write('\tOK\n').
EOF
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment