I also think prolog has the most advanced sense of this concept with equalities and unification operators.