Introduction to Logic Programming. - Genesereth, Michael. (Morgan & Claypool Publishers, 2020)