Logic Programming by Parkville, Vic & Australia P.j. Stuckey University Of Melbourne