8 lines
112 B
Prolog
8 lines
112 B
Prolog
show(unit).
|
|
show(list(X)) :- show(X).
|
|
show(pair(X,Y)) :- show(X), show(Y).
|
|
|
|
eq(X) :- ord(X).
|
|
eq(nat).
|
|
ord(nat).
|