Logic and objectsby F. G. McCabeLogic programmingLogic programming (Computer science)Logic, symbolic and mathematicalWriting a summary for young readers…For young readersBook data: Open Library