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