Logic Programming door James H. Andrews