Title: Logic programming '85
Subjects: Logic programming, Congresses, Programmation logique, Kongress, Logische Programmierung, Programmierung, Congres, Programacao de computadores, Logik, Computer programming, Symbolic and mathematical Logic