?- ( Bool = true ; Bool = false ),
   ( Bool -> bool_is_true ; bool_is_false ).