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