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 <prolog@swi.psy.uva.nl>; 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 <?nicki@aport2000.ru>)
          by relay2.aport.ru
          for <prolog@swi.psy.uva.nl>; 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" <prolog@swi.psy.uva.nl>
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

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=3D"text/html; charset=3Dkoi8-r" http-equiv=3DContent-Type>
<META content=3D"MSHTML 5.00.2920.0" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV><FONT size=3D2>Hallo!&nbsp;&nbsp;&nbsp; I have s little =
question</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT size=3D2>suppose there are function</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT size=3D2>foo(&nbsp;X ).</FONT></DIV>
<DIV><FONT size=3D2>X =3D a(b(c(d(e(f(&nbsp;Y ))))))&nbsp;&nbsp;&nbsp;=20
&nbsp;&nbsp;&nbsp; % nobody knows how much nested functions</FONT></DIV>
<DIV><FONT size=3D2>and</FONT></DIV>
<DIV><FONT size=3D2>foo(&nbsp;Z ).</FONT></DIV>
<DIV><FONT size=3D2>Z =3D something like X, no matter</FONT></DIV>
<DIV>&nbsp;</DIV>
<DIV><FONT size=3D2>I&nbsp;try to find an easiest way to unify Z with=20
Y.</FONT></DIV>
<DIV><FONT size=3D2>So, given such argument as X how can I extract Y and =
replace=20
it with Z.</FONT></DIV>
<DIV><FONT size=3D2></FONT>&nbsp;</DIV>
<DIV><FONT size=3D2>Thank you all.</FONT></DIV>
<DIV><FONT size=3D2>-------------------------</FONT></DIV>
<DIV><FONT size=3D2>Nick Fedorov</FONT></DIV>
<DIV><FONT size=3D2>BMSTU</FONT></DIV>
<DIV><FONT size=3D2>PhD Student.</FONT></DIV></BODY></HTML>

------=_NextPart_000_009C_01C0CE66.4D673790--

