XLOG: types, fonctions et tableaux dans Prolog. - D. Sciamma; X. Sola; Aristide Mégrelis (SPLT, 1985)