U-LOG, aspects formels et pratiques d un interface entre Programmation Logique et Objets

Paul Y. Gloess. U-LOG, aspects formels et pratiques d un interface entre Programmation Logique et Objets. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 89, 8:::ème::: Séminaire Programmation en Logique, 24-26 mai 1989, Trégastel, France. pages 71-96, 1989.

Abstract

Abstract is missing.