Open Joloco109 opened 1 year ago
Make Unification recursive to improve performance. Could be done by allowing unification rule to input from itself.
unification
Make Unification recursive to improve performance. Could be done by allowing
unificationrule to input from itself.