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 ; 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 ; Tue, 28 Aug 2001 02:16:33 +0300 Message-ID: <008001c12f56$d3cb6620$947096d4@kobigold> From: "Kobi" To: 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
Hi
I was reading your manual and I wondered if=20 you
have or know where can I download from the=20 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=20 parameters.
like you have on the help file: last(?Elem,=20 ?List)
I want to see how do you write each function in=20 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--