Title: Logic programming and knowledge engineering
Subjects: Electronic digital computers, Expert systems (Computer science), Logic programming, Programming, Symbolic and mathematical Logic