L'inventeur de Prolog présente des généralités sur Prolog II, III, IV et dévoile les aspects théoriques touchant aux fondements du langage et à son évolution.