// Example of tracing
a[b -> c].
aa[b -> f].
?X[m -> ?Y] :- ?Y[b -> ?X].

a:ff.
aa:ff.
ff[m *-> rr].

?-  _trace.

// Queries:
//    c[m->?Y].
//    a[m->?Y].