Logic Programming by Josie Lloyd & John Lloyd