This repository was archived by the owner on Nov 15, 2019. It is now read-only.
This repository was archived by the owner on Nov 15, 2019. It is now read-only.
experiment with other unification algorithms #5
Description
Try a more efficient unification algorithm such as those described in "An Efficient Unification Algorithm" by Martelli, "A practically efficient and almost linear unification algorithm" by Escalada-Imaz, "A Practically Linear Unification Algorithm" by Baxter.