% Standard example of an abductive logis program from the literature % % Here adapted for the HYPROLOG system % % :- hyprolog(wetGrass). show_internal_rules. abducibles rained_last_night/0, sprinkler_was_on/0. grass_is_wet:- rained_last_night. grass_is_wet:- sprinkler_was_on.