From nissim@math.ufl.edu Tue Aug 28 17:00:34 2001
Received: from fileserver.math.ufl.edu (fileserver.math.ufl.edu [128.227.168.128])
	by swi.psy.uva.nl (8.11.2/8.11.2) with ESMTP id f7SF0Xb09394
	for <prolog@swi.psy.uva.nl>; Tue, 28 Aug 2001 17:00:33 +0200 (MET DST)
Received: from oneida.math.ufl.edu (oneida.math.ufl.edu [128.227.168.148])
	by fileserver.math.ufl.edu (8.9.1a/8.9.1) with ESMTP id LAA21622;
	Tue, 28 Aug 2001 11:00:31 -0400 (EDT)
Received: from localhost (nissim@localhost)
	by oneida.math.ufl.edu (8.9.1a/8.9.1) with ESMTP id LAA04621;
	Tue, 28 Aug 2001 11:00:31 -0400 (EDT)
X-Authentication-Warning: oneida.math.ufl.edu: nissim owned process doing -bs
Date: Tue, 28 Aug 2001 11:00:31 -0400 (EDT)
From: Broudo  Nissim <nissim@math.ufl.edu>
To: Kobi <goldkobi@barak-online.net>
cc: prolog@swi.psy.uva.nl
Subject: Re: [SWIPL] prolog syntax
In-Reply-To: <008001c12f56$d3cb6620$947096d4@kobigold>
Message-ID: <Pine.GSO.4.21.0108281055480.4605-100000@oneida.math.ufl.edu>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

Kobi,

You can use help(predicate), for example help(last).  Also you can use
listing(predicate), e.g. listing(last).

Nissim

On Tue, 28 Aug 2001, Kobi wrote:

> 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.
> 

