Re: Any Prolog language lawyer out there?

From: Bart Demoen (bmd_at_cs.kuleuven.ac.be)
Date: 10/20/04 

Date: Wed, 20 Oct 2004 10:12:00 +0200

Jens Kilian wrote:

> This explicitly codifies the interpretation of '- 4' seen above.

http://www.sju.edu/~jhodgson/prolog_proj/framed_spec.html
has an executable ISO Prolog. One can submit goals and it
tells you the result. Here are some examples related to -4:
(I have removed some noise from the output)

Goal : integer(- 4)
Specification result : Must fail

Goal : integer(-4)
Specification result : Must succeed

So it seems that the space between the - and the 4 is important.

I do not have the final copy of the standard, and although I do remember
that there has been discussion about it, I do not remember the final outcome,
so can anybody check that's indeed what the standard says ?

Cheers

Bart Demoen

Relevant Pages

  • Re: Implicit int
    ... committee did in fact pander to when it approved 'long long'. ... I understand and agree with those goals. ... There is no reason to think that the C standard will do anything ... Mandating support for a 64 bit type was not ...
    (comp.std.c)
  • Re: Forth and Co - The Return of the Jedi
    ... Chuck) should care that he doesn't like the idea of Standard Forth. ... by making sure that ANS Forth stands tall. ... And as we keep an eye on them, we also look for the ones that will help us finish projects faster or better, or make our users more productive, or any other goals we have as Forthers. ... We also develop software for our customers, many of whom are large companies who *require* standard software in order to ensure that they can find and or train programmers to maintain their systems over a period of decades. ...
    (comp.lang.forth)
  • Re: Forth and Co - The Return of the Jedi
    ... or any other goals we have as Forthers. ... not part of the standard and you are not Standard Forth anymore. ... ensure that they can find and or train programmers to maintain their ... we are making Forth a language for the masses. ...
    (comp.lang.forth)
  • Re: Non-Deterministic Schemas
    ... > By the standard of the developers of the SOM, ... > I do not answer questions on behalf of my employer. ... > programmer helping programmers. ... one of the main goals of publishing a platform is functionality. ...
    (microsoft.public.dotnet.xml)
  • Re: Current Official ADA Dietary Recommendations
    ... most all glucose goals are written as "Goals for ... At Joslin, at the ADA, on boxes of strips. ... It's only diabetes that seems to do this... ... I don't understand the double standard. ...
    (alt.support.diabetes)