Logic Programming and Knowledge Representation by J. Dix, Teodor C. Przymusinski & Luis M. Pereira