SPLT 1989: Trégastel, France

Sémantique de la programmation en Logique

Prolog et Objets

Analyse de Programmes

Spécifications en Programmation en Logique

Langage Naturel

Nouveaux formalismes

Environnements

Négation

Parallélisme

Extensions

Implémentation

Applications

Papier Invité

Epilogue