Compilation de Prolog sur une machine de traitement symbolique. - Abderrahmane Aggoun; J. Y. Charpentier; J. P. Lepape; D. Ranson (SPLT, 1987)