Operational semantics of Standard Prolog: an axiomatic approach

Jean-Paul Delahaye, François Denis. Operational semantics of Standard Prolog: an axiomatic approach. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 90, 8:::ème::: Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France. pages 311, 1990.

Abstract

Abstract is missing.