Title: Logic Programming
Subjects: Logic programming, Congresses, Kongreß, Logische Programmierung