Logic Programming by Joxan Jaffar