heads_tails.lp 49 Bytes
Edit Raw Blame History



1

2

3

4


heads; -heads.

tails :- -heads.
-tails :- heads.