RosettaCodeData/Task/Boolean-values/Prolog/boolean-values.pro

3 lines
80 B
Prolog

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