Title: Logic programming
Subjects: Bibliography, Logic programming, Computer programs