SPLT 1990: Trégastel, France

Applications

Extensions

Prolog et Base de Données

Prolog et Objets

Nouveaux formalismes

Génération de jeux de test

Sémantique de la Programmation en logique

Parallélisme

Négation

Programmation par contraintes

Implémentation

Papier Invité

Chute

a service of Schloss Dagstuhl - Leibniz Center for Informatics