fixed function name typo.
fixed returned value in list_unification_3/2.
new functions added.