Term unification

---

\=/2
=/2
unifiy_with_occurs_check/2

Darueber read on...

scroll to top