Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
subtype(bit, byte). subtype(byte, uint16). subtype(uint16, uint32). subtype(uint32, uint64). subtype(uint64, int). subtype(int8, int16). subtype(int16, int32). subtype(int32, int64). subtype(int64, int). subtype(func(Args,R1), func(Args,R2)) :- subtype(R1, R2). subtype(func([H1|T],R), func([H2|T],R)) :- subtype(H2, H1). subtype(func([H|T1],R), func([H|T2],R)) :- subtype(func(T1,R), func(T2,R)). isa(X,Y) :- subtype(X,Y). isa(X,Y) :- subtype(X,Z), isa(Z,Y).