Title: Logic programming
Subjects: Logic programming, Congresses, Logic design, Computer science, Artificial intelligence