returns the binding for a given pattern and source in the bindings-lists
substitute-bindings-cxn
bindings processing-cxn
[Function]
anti-unify-print
pattern source
[Function]
prints all solutions (resulting-pattern, bindings for pattern, bindings for source)
nicely formatted for each solution of the anti-unification fo pattern with source