Narrowing and Unification in Functional Programming - An Evaluation Mechanism for Absolute Set Abstraction.