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