Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming

Mehmet Dincbas, Pascal Van Hentenryck. Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. Journal of Logic and Algebraic Programming, 4(3):199-227, 1987.

Abstract

Abstract is missing.