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