From goldkobi@barak-online.net Tue Aug 28 01:15:37 2001
Received: from cyclone.barak-online.net (cyclone.barak.net.il [212.150.48.100])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f7RNFab17045
	for <prolog@swi.psy.uva.nl>; Tue, 28 Aug 2001 01:15:36 +0200 (MET DST)
Received: from kobigold ([10.10.11.12]) by cyclone.barak-online.net
          (InterMail vK.4.03.00.00 201-232-121 license 42798954b94fcb168b1407e1533853c1)
          with SMTP id <20010827231633.XCTR13682.cyclone@kobigold>
          for <prolog@swi.psy.uva.nl>; Tue, 28 Aug 2001 02:16:33 +0300
Message-ID: <008001c12f56$d3cb6620$947096d4@kobigold>
From: "Kobi" <goldkobi@barak-online.net>
To: <prolog@swi.psy.uva.nl>
Date: Tue, 28 Aug 2001 02:17:00 +0200
MIME-Version: 1.0
Content-Type: multipart/alternative;
	boundary="----=_NextPart_000_007D_01C12F67.856350E0"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.50.4133.2400
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400
Subject: [SWIPL] prolog syntax

This is a multi-part message in MIME format.

------=_NextPart_000_007D_01C12F67.856350E0
Content-Type: text/plain;
	charset="windows-1255"
Content-Transfer-Encoding: quoted-printable

Hi
I was reading your manual and I wondered if you
have or know where can I download from the syntax
of the functions that are already in prolog.
like last,append,reverse, etc.

last(X,X).
last(X,[L|Z]):-last(X,Z).

where can I find something like that.
not just what is does and what are the parameters.
like you have on the help file: last(?Elem, ?List)
I want to see how do you write each function in prolog.
like that for instance:

append(B,B).
append([X|A],B,[X|C]):-append(A,B,C).

If you could help me I'd appreciate that.
thank you.

------=_NextPart_000_007D_01C12F67.856350E0
Content-Type: text/html;
	charset="windows-1255"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=3DContent-Type content=3D"text/html; =
charset=3Dwindows-1255">
<META content=3D"MSHTML 5.50.4134.600" name=3DGENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=3D#ffffff>
<DIV>
<DIV>
<DIV><FONT face=3DArial>Hi</FONT></DIV>
<DIV><FONT face=3DArial>I was reading your manual and I wondered if=20
you</FONT></DIV>
<DIV><FONT face=3DArial>have or know where can I download from the=20
syntax</FONT></DIV>
<DIV><FONT face=3DArial>of the functions that are already in =
prolog.</FONT></DIV>
<DIV><FONT face=3DArial>like last,append,reverse, etc.</FONT></DIV>
<DIV><FONT face=3DArial></FONT>&nbsp;</DIV>
<DIV><FONT =
face=3DArial>last(X,X).<BR>last(X,[L|Z]):-last(X,Z).</FONT></DIV>
<DIV><FONT face=3DArial></FONT>&nbsp;</DIV>
<DIV><FONT face=3DArial>where can I find something like =
that.</FONT></DIV>
<DIV><FONT face=3DArial>not just what is does and what are the=20
parameters.</FONT></DIV>
<DIV><FONT face=3DArial>like you have on the help file: last(?Elem,=20
?List)</FONT></DIV>
<DIV><FONT face=3DArial>I want to see how do you write each function in=20
prolog.</FONT></DIV>
<DIV><FONT face=3DArial>like that for instance:</FONT></DIV>
<DIV><FONT face=3DArial></FONT>&nbsp;</DIV>
<DIV>
<DIV><FONT=20
face=3DArial>append(B,B).<BR>append([X|A],B,[X|C]):-append(A,B,C).</FONT>=
</DIV>
<DIV><FONT face=3DArial></FONT>&nbsp;</DIV></DIV>
<DIV><FONT face=3DArial>If you could help me I'd appreciate =
that.</FONT></DIV>
<DIV><FONT face=3DArial>thank =
you.</FONT></DIV></DIV></DIV></BODY></HTML>

------=_NextPart_000_007D_01C12F67.856350E0--

