blog-static/code/typeclass-prolog/kb.pl

8 lines
112 B
Perl
Raw Permalink Normal View History

show(unit).
show(list(X)) :- show(X).
show(pair(X,Y)) :- show(X), show(Y).
eq(X) :- ord(X).
eq(nat).
ord(nat).