From _nicki@aport2000.ru Thu Apr 26 13:33:25 2001 Received: from relay2.aport.ru (relay2.aport.ru [194.67.18.128]) by swi.psy.uva.nl (8.11.2/8.11.2) with SMTP id f3QBXO305595 for ; Thu, 26 Apr 2001 13:33:25 +0200 (MET DST) Received: (qmail 42029 invoked from network); 26 Apr 2001 11:32:13 -0000 Received: from 141.172.10.dn.dialup.cityline.ru (HELO unemployed) ([195.46.172.141]) (envelope-sender ) by relay2.aport.ru for ; 26 Apr 2001 11:32:13 -0000 Message-ID: <009f01c0ce44$e88b11a0$64af2ec3@unemployed> From: =?koi8-r?B?7snLz8zByiDmxcTP0s/X?= <_nicki@aport2000.ru> To: "Jan Wielemaker" Subject: [SWIPL] Question Date: Thu, 26 Apr 2001 15:33:54 +0400 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_009C_01C0CE66.4D673790" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.00.2919.6700 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6700 This is a multi-part message in MIME format. ------=_NextPart_000_009C_01C0CE66.4D673790 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: quoted-printable Hallo! I have s little question suppose there are function foo( X ). X =3D a(b(c(d(e(f( Y )))))) % nobody knows how much nested = functions and foo( Z ). Z =3D 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. =20 Thank you all. ------------------------- Nick Fedorov BMSTU PhD Student. ------=_NextPart_000_009C_01C0CE66.4D673790 Content-Type: text/html; charset="koi8-r" Content-Transfer-Encoding: quoted-printable
Hallo!    I have s little = question
 
suppose there are function
 
foo( X ).
X =3D a(b(c(d(e(f( Y ))))))   =20     % nobody knows how much nested functions
and
foo( Z ).
Z =3D something like X, no matter
 
I try to find an easiest way to unify Z with=20 Y.
So, given such argument as X how can I extract Y and = replace=20 it with Z.
 
Thank you all.
-------------------------
Nick Fedorov
BMSTU
PhD Student.
------=_NextPart_000_009C_01C0CE66.4D673790--