async
a(e).
d(t).
b(t, B) :- a(e), d(B).
b(t, t)?
----
----
b("t", "t") -> a("e") -> d("t")
----
---- (no newline)