Term Rewriting vs Unification

cs.stackexchange https://cs.stackexchange.com/questions/41804

Question

How is term rewriting different from unification, and what's the difference between term rewriting languages and logic programming, like Prolog?

No correct solution

Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange
scroll top