6 lines
269 B
Text
6 lines
269 B
Text
:- pred test(list(T), list(T), io, io) <= comparable(T).
|
|
:- mode test(in, in, di, uo) is det.
|
|
test(A, B) -->
|
|
io.write(A), io.write_string(" < "), io.write(B),
|
|
io.write_string(" : "), io.write_string(S), io.nl,
|
|
{ A < B -> S = "yes" ; S = "no" }.
|