Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!mcvax!ukc!eagle!icdoc!cdsm
From: cdsm@doc.ic.ac.uk (Chris Moss)
Newsgroups: comp.lang.prolog
Subject: Re: list syntax
Message-ID: <119@gould.doc.ic.ac.uk>
Date: Thu, 8-Oct-87 06:05:07 EDT
Article-I.D.: gould.119
Posted: Thu Oct  8 06:05:07 1987
Date-Received: Mon, 12-Oct-87 22:32:59 EDT
References: <5265@jade.BERKELEY.EDU> <2278@mulga.oz> <438@ecrcvax.UUCP>
Reply-To: cdsm@gould.UUCP (Chris Moss)
Organization: Dept. of Computing, Imperial College, London, UK.
Lines: 7

In article <438@ecrcvax.UUCP> micha@ecrcvax.UUCP (Micha Meier) writes:
> Why it isn't defined in BSI what the functor of a pair is?

But it is! See production 7 in the March 1987 draft on pages 4,5
It appears as '.'@[Term|Rest] which being decoded means the term whose
functor is '.' and arguments are [Term|Rest].
Chris.