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)