sync
d(4).
a(30).
c(30).
a(A):-b(A).
a(A):-d(A).
b(3,A):-a(A),not c(B),a(B).
task(A):-b(A,B).
task(A)?
----
----
A: 3
----
---- (no newline)