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