% 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.