Formalisation des structures de contrôle de PROLOG

Michel Billaud. Formalisation des structures de contrôle de PROLOG. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 85, Séminaire Programmation en Logique, 29-31 mai 1985, Trégastel, France. 1985.

Abstract

Abstract is missing.