October 2004 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog clpq2.pl
by Roberto Bagnara 23 Oct '04

23 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-23 23:29:15 Modified files: interfaces/Prolog: clpq2.pl Log message: Fail gracefully in those cases where an overflow exception or other PPL exception is thrown. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq2.pl.di…

1 0

ppl/interfaces/Prolog clpq.pl
by Roberto Bagnara 23 Oct '04

23 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-23 23:13:09 Modified files: interfaces/Prolog: clpq.pl Log message: Fail gracefully in those cases where an overflow exception or other PPL exception is thrown. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/clpq.pl.dif…

1 0

ppl/interfaces/Prolog ppl_prolog.icc
by Roberto Bagnara 23 Oct '04

23 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-23 23:11:53 Modified files: interfaces/Prolog: ppl_prolog.icc Log message: Handle std::overflow_error. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.…

1 0

CVSROOT loginfo
by Roberto Bagnara 23 Oct '04

23 Oct '04

CVSROOT: /cvs/ppl Module name: CVSROOT Changes by: roberto(a)cs.unipr.it 2004-10-23 23:10:39 Modified files: . : loginfo Log message: Pass all committs to ViewCVS' loginfo-handler script. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/CVSROOT/loginfo.diff?cvsroot=ppl&…

1 0

ppl/tests memory1.cc
by Roberto Bagnara 21 Oct '04

21 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-21 20:16:36 Modified files: tests : memory1.cc Log message: Be quiet. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/memory1.cc.diff?cvsroot…

1 0

ppl/tests Makefile.am
by Roberto Bagnara 21 Oct '04

21 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-21 19:20:43 Modified files: tests : Makefile.am Log message: The definition of XFAIL_TESTS now takes into account the type of coefficients being used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/Makefile.am.diff?cvsroo…

1 0

ppl configure.ac
by Roberto Bagnara 21 Oct '04

21 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-21 19:18:42 Modified files: . : configure.ac Log message: Introduced new Automake variables that allow to keep track of the type of coefficients being used. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/configure.ac.diff?cvsroot=ppl…

1 0

ppl/tests randphull1.cc
by Roberto Bagnara 21 Oct '04

21 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-21 13:38:00 Modified files: tests : randphull1.cc Log message: Fixed to allow for generic coefficients. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/randphull1.cc.diff?cvsr…

1 0

[Fwd: Re: Any Prolog language lawyer out there?]
by Roberto Bagnara 21 Oct '04

21 Oct '04

-------- Original Message -------- Subject: Re: Any Prolog language lawyer out there? Date: 21 Oct 2004 10:19:55 GMT From: Jan Wielemaker <jan(a)ct.xs4all.nl> Reply-To: jan at nospam.swi.psy.uva.nl Organization: SWI, University of Amsterdam Newsgroups: comp.lang.prolog References: <41750912.8040102(a)cs.unipr.it> <1098196164.417498(a)seven.kulnet.kuleuven.ac.be> <slrncnaat8.jkn.jan(a)ct.xs4all.nl> <87acuijutl.fsf(a)gondolin.bb.bawue.de> <1098259920.942884(a)seven.kulnet.kuleuven.ac.be> <1098274154.598785(a)seven.kulnet.kuleuven.ac.be> <77bbf36a.0410210015.1db2726c(a)posting.google.com> <1098349684.287109(a)seven.kulnet.kuleuven.ac.be> In article <1098349684.287109(a)seven.kulnet.kuleuven.ac.be>, Bart Demoen wrote: > Mats Carlsson wrote: > >>>In the standard "directly" means something like "with no space in between". >> >> >> That must be wishful thinking on your part. There is no such >> definition of "directly" in the document. > > I should indeed have been more careful. > > In principle, everything in the standard has a well-agreed upon meaning. > In an attempt to ensure that, page 2 of the standard says in the 3th paragraph > of section 3: > > # Words and phrases not defined in this glossary are assumed > # to have the meaning given in ISO 2382-15; if they do not > # appear in ISO 2382-15, then they are assumed to have > # their usual meaning. > > "directly" is not defined in the ISO Prolog glossary (rest of section 3) > > So we should check ISO 2382-15 ... I couldn't get hold of ISO 2382-15 (it is > too expensive to acquire just to set this dispute) and if anybody has access > to it and can check whether it defines "directly", please let us know. > > If it isn't in ISO 2382-15, we must take the usual meaning of "directly". > I think (apparently together with GNU Prolog and the makers of > http://www.sju.edu/~jhodgson/prolog_proj/framed_spec.html) that in the context > as it is used in the explanation of negative numbers, it means > > "no spaces [or other stuff] in between" That was also my line of thinking, but Mats is formally right. Summarising and highlighting the LAYOUT Mats refers to. <negative integer> ::= -, <integer> <integer> ::= <LAYOUT>, <integer token> <integer token> ::= <digit>+ The _immediately_ can only talk about the first rule above, so its meaning is formally irrelevant as the second rules allows for layout :-( Thats why I went for a weaker form of reasoning claiming directly, only used here, means something special. I'm inclined to reject - 4, until someone can, in addition to the standard, explain a rationale for these rules. Cheers --- Jan -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0

[Fwd: Re: Any Prolog language lawyer out there?]
by Roberto Bagnara 21 Oct '04

21 Oct '04

-------- Original Message -------- Subject: Re: Any Prolog language lawyer out there? Date: 21 Oct 2004 10:00:48 GMT From: Jan Wielemaker <jan(a)ct.xs4all.nl> Reply-To: jan at nospam.swi.psy.uva.nl Organization: SWI, University of Amsterdam Newsgroups: comp.lang.prolog References: <41750912.8040102(a)cs.unipr.it> <1098196164.417498(a)seven.kulnet.kuleuven.ac.be> <slrncnaat8.jkn.jan(a)ct.xs4all.nl> <87acuijutl.fsf(a)gondolin.bb.bawue.de> <1098259920.942884(a)seven.kulnet.kuleuven.ac.be> <1098274154.598785(a)seven.kulnet.kuleuven.ac.be> <77bbf36a.0410210015.1db2726c(a)posting.google.com> In article <77bbf36a.0410210015.1db2726c(a)posting.google.com>, Mats Carlsson wrote: > I made a mistake in my previous posting, so here goes again. > > Bart Demoen <bmd(a)cs.kuleuven.ac.be> wrote in message news: <1098274154.598785(a)seven.kulnet.kuleuven.ac.be>... >> "A term which is the name - followed directly by a numeric constant, >> denotes the corresponding negative constant" >> >> In the standard "directly" means something like "with no space in between". > > That must be wishful thinking on your part. There is no such > definition of "directly" in the document. I too have the standard > document, from which I quote the relevant grammar rules: Its true that _directly_ is not defined. The document (to which I have access now by miracle :-) however uses the word 'followed' pretty often and in many situations explicitly states whether or not layout is allowed. In this particular case it doesn't say anything, but it uses the word 'directly', which might indicate they wish to say something important. Appearently the document should have been explicit here. Also, considering Prolog doesn't provide syntax for breaking long numbers, it would be strange to have syntax that allows for breaking between the - and its number. > So clearly, there can be space, even comments, between the '-' > and the digits. BTW, the same applies to [/*this atom*/] and {/*this atom*/}. Yes, but commenting inside [] and {} makes sense considering they are a special case of something that is normally filled with content. (As a sidenote, I still think [] and {} should not have been atoms and the atom should be written '[]') I see nothing but confusion in -/*this is a negative integer*/4 >> That decides the issue I think: - 4 should not be read as a negative integer; > > To the contrary, it should. Reading the standard (6.3.1.2 and 6.4) I think Mats is right that the formal reading allows for layout between - and the digits. I'm not sure whether this was intentionally though. What is the rationale? In a functional language it doesn't make much difference whether the parser returns -4 or the expression optimiser changes -(4) into -4. For Prolog it does matter. -4 and -(4) are really different beasts. For SWI-Prolog I'm inclined to conform to the consensus of this discussion and add a style warning, suggesting people to write either -4 or -(4). Cheers --- Jan B.t.w. I think the original post was more about handling +4. I cannot find anything which suggests that +4 should be read as 4, so I guess it must be read as +(4). The Prolog world appears deeply divided here. SWI, SICStus and YAP read +4 as 4, while hProlog, Ciao and gprolog read it as +(4). My SICStus version is very old (3.7.1), so this may be corrected. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it

1 0