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