Logic Programming by K Clark; S a Tarnlund