Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.

Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frhwirth

Browse the full SAC paper archive.