Sur la transformation de l appel terminal en itération dans un interprète PROLOG

Patrice Boizumault. Sur la transformation de l appel terminal en itération dans un interprète PROLOG. In Mehmet Dincbas, editor, SPLT 83, Séminaire Programmation en Logique, 22-23 mars 1983, Perros-Guirec, France. 1983.

Abstract

Abstract is missing.