Title: Logic programming
Subjects: Electronic digital computers, Programming, Logic programming, Symbolic and mathematical Logic, Computer programming