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