Subject: [SWIPL] Question

From: Николай Федоров <[email-masked]>
Date: Thu, 26 Apr 2001 15:33:54 +0400

Hallo!    I have s little question

suppose there are function

foo( X ).
X = a(b(c(d(e(f( Y ))))))        % nobody knows how much nested functions
and
foo( Z ).
Z = something like X, no matter

I try to find an easiest way to unify Z with Y.
So, given such argument as X how can I extract Y and replace it with Z.
 
Thank you all.
-------------------------
Nick Fedorov
BMSTU
PhD Student.