2 lines
80 B
Prolog
2 lines
80 B
Prolog
?- ( Bool = true ; Bool = false ),
|
|
( Bool -> bool_is_true ; bool_is_false ).
|
?- ( Bool = true ; Bool = false ),
|
|
( Bool -> bool_is_true ; bool_is_false ).
|