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