Unification: a multidisciplinary survey
BUP: A Bottom-Up parser embedded in Prolog