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