1 2 3 4 5 6 7 8 9 10
async a(e). d(t). b(t, B) :- a(e), d(B). b(t, t)? ---- ---- b("t", "t") -> a("e") -> d("t") ---- ---- (no newline)