:- use_module(library(chr)). handler humidity. constraints rained_last_night/0, sprinkler_was_on/0. grass_is_wet:- rained_last_night. grass_is_wet:- sprinkler_was_on.