ADDED: Fold and unfold of Prolog terms.