Prolog infinite trees and automata Solange Coupet-Grimal — 1991 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications