## 7.9 Unification

`OZ_unify`

  > `OZ_Return OZ_unify(OZ_Term t1, OZ_Term t2)`

  Unify `t1` and `t2`. Return `OZ_ENTAILED` on success and `OZ_FAILED` on failure.

`OZ_unifyInt`

  > `OZ_Return OZ_unifyInt(OZ_Term t1, int i)`

  This is an abbreviation for `OZ_unify(t1, OZ_int(i))`

`OZ_unifyFloat`

  > `OZ_Return OZ_unifyFloat(OZ_Term t1, float f)`

  This is an abbreviation for `OZ_unify(t1, OZ_float(f))`

`OZ_unifyAtom`

  > `OZ_Return OZ_unifyAtom(OZ_Term t1, char *s)`

  This is an abbreviation for `OZ_unify(t1, OZ_atom(s))`

`OZ_eq`

  > `OZ_Return OZ_eq(OZ_Term t1, OZ_Term t2)`

  Return non-null, if `t1` and `t2` reference the same Oz object in the store.

`OZ_eqAtom`

  > `OZ_Return OZ_eqAtom(OZ_Term t1, char *s)`

  This is an abbreviation for `OZ_eq(t1, OZ_atom(s))`

`OZ_eqInt`

  > `OZ_Return OZ_eqInt(OZ_Term t1, int i)`

  This is an abbreviation for `OZ_eq(t1, OZ_int(i))`

`OZ_eqFloat`

  > `OZ_Return OZ_eqFloat(OZ_Term t1, double d)`

  This is an abbreviation for `OZ_eq(t1, OZ_float(d))`