Foundations of Logic Programming (Symbolic Computation / Artificial Intelligence)by John W. LloydWriting a summary for young readers…For young readersBook data: Open Library