Extended Unification and its Implementation

We propose to combine functional and logic programming languages while preserving the advantages of both programming styles. The syntax and semantics of combined functional and logic programming languages are defined. An extended unification algorithm which additonally handles functional expressions is formally introduced to evaluate programs written in those languages. Finally, an implementation of the proposed system is described.