Algebraic data types: Difference between revisions

(Added Prolog version (untested))
Line 54:
in T (B,a,y,b)
 
=={{header|Prolog}}==
<prologpre>
color(r).
color(b).
Line 74:
 
insert(X,S,t(b,A,Y,B)) :- ins(X,S,t(_,A,Y,B)).
<prolog/pre>