Sorts are nothing but functions an equational approach to sorts for logic programming - Conrad, Thierry; Furbach, Ulrich 1948- (Forschungsberichte Künstliche Intelligenz, 1988)