Title: Logic programming
Subjects: Logic programming, Computer programming, Symbolic and mathematical Logic, Electronic data processing