A Many Sorted PROLOG Based on Equational Unification.

Thierry Conrad

Browse the full ECAI paper archive.