Re: SWI prolog list unification problem
From: Stijn De Saeger (stijn_at_jaist.ac.jp)
Date: 01/18/04
- Next message: Nick Wedd: "Re: newbie question:Is prolog language just used in the lab for product's model design?"
- Previous message: Nick Wedd: "Re: newbie question:Is prolog language just used in the lab for product's model design?"
- In reply to: Pierpaolo BERNARDI: "Re: SWI prolog list unification problem"
- Next in thread: Remko Troncon: "Re: SWI prolog list unification problem"
- Reply: Remko Troncon: "Re: SWI prolog list unification problem"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Sun, 18 Jan 2004 20:23:47 +0900
My god who thinks these things up... seriously.
well thanks for the explanation though.
s.
"Pierpaolo BERNARDI" <pierpaolo_bernardi@hotmail.com> wrote in message
news:sqmOb.106411$VW.4340229@news3.tin.it...
>
> "Stijn De Saeger" <stijn@jaist.ac.jp> ha scritto nel messaggio
news:bubpo0$f7i$1@jaist-news.jaist.ac.jp...
> > thanks for the reply.
> >
> > commas as operators, as opposed to item separators? that's news.
> > what are the semantics of these 'operators', and how are they different
from
> > the 'normal' commas?
> > s.
>
> Which commas are 'normal'?
>
> As operators, they are the most common operator in prolog,
> In programs they are used as logical conjunction, as in:
>
> a :- b, c, d. % == ':-'(','(b,','(c,d)))
>
> As data, they are used as the constructor for the ','/2 term, as in:
>
> (a,b,c). % == ','(a,','(b,c))
>
> Then they are used in the syntax of lists in square brackets notation
> as in:
>
> [a,b,c].
>
> and in the syntax of terms, as in:
>
> f(a,b,c).
>
> The first two cases are occurrences of the comma operator,
> the last two are just syntax.
>
> Cheers
> P.
>
- Next message: Nick Wedd: "Re: newbie question:Is prolog language just used in the lab for product's model design?"
- Previous message: Nick Wedd: "Re: newbie question:Is prolog language just used in the lab for product's model design?"
- In reply to: Pierpaolo BERNARDI: "Re: SWI prolog list unification problem"
- Next in thread: Remko Troncon: "Re: SWI prolog list unification problem"
- Reply: Remko Troncon: "Re: SWI prolog list unification problem"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|