coins.plp 128 Bytes
Edit Raw Blame History



1

2

3

4

5

6

7


{ heads(C) } :- C=1..2.
:~ not heads(C), C=1..2. [0@0,0,(C,)]

two_heads :- heads(1), heads(2).
&query(heads(1)).

:- two_heads.