Unification laws test#49

Merged

ClarkeRemy merged 2 commits intomainfrom

unification_test_laws

Apr 19, 2026

Commits on Apr 16, 2026

This branch adds a large test for unification, putting prolog and mork head to head to check mork unification correctness.
ClarkeRemy
committed

Commits on Apr 17, 2026

changed to use apply_e, the coroutine version
ClarkeRemy
committed