experiment with other unification algorithms

mndrix / golog

Prolog interpreter in Go

MIT License

374 stars 39 forks source link

experiment with other unification algorithms #5

Open mndrix opened 11 years ago

mndrix commented 11 years ago

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.