reduce(
t,vs. term_primed_vars(t) @ vs;nil;map(t.(t)';r.args))
=
reduce(t,vs. term_vars(t) @ vs;nil;r.args) 
r:rel(). rel_primed_vars((r)') = rel_vars(r)| 1 | 1. r: rel() reduce(t,vs. term_primed_vars(t) @ vs;nil;map(t.(t)';r.args))
=
reduce(t,vs. term_vars(t) @ vs;nil;r.args) |
About:
 |  |  |  |  |