Logic Programming In Action door Gerard Comyn