Title: Logic programming
Subjects: Logic programming, Programmation logique, Congresses, Congrès