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.
back to work?
back to work?