Symposium on Logic and Data Bases, Centre d'études et de recherches de Toulouse 1977.