Logic programmingby K. L. ClarkLogic programmingComputer programmingSymbolic and mathematical LogicElectronic data processingWriting a summary for young readers…For young readersBook data: Open Library