The Practice Of Prolog by Leon Sterling