Title: Logic programming '87
Subjects: Logic programming, Congresses