Re: Any Prolog language lawyer out there?

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

Date: Thu, 21 Oct 2004 11:08:04 +0200

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"

You might think differently.

Cheers

Bart Demoen

Relevant Pages

  • Re: man -t odd page size
    ... > ISO compliant document whereas a small minority benefits from having non ... theory shouldn't the FreeBSD lists, docs and code all be in Chinese? ... A4 isn't a DIN standard anymore, ...
    (freebsd-questions)
  • Re: Pixel policy
    ... Or Class Anything compliant? ... If the class is not clearly mentioned the ISO ... According to the ISO standard all LCD screens are sold as Class 1 ... screens unless it is stated clearly and prominently that they are not. ...
    (uk.tech.digital-tv)
  • Re: Why are Digital camera images made wrong?
    ... proportion as usually not as pleasing as the metric paper ratio - it's ... It is an ISO size, but does not divide neatly by 10. ... The international paper size standard, ISO 216, is based on the German DIN 476 standard for paper sizes. ... Successive paper sizes in the series A1, A2, A3, etc., are defined by halving the preceding paper size parallel to its shorter side. ...
    (alt.photography)
  • Re: UTF-8 Erkennung
    ... ISO 8859-1 und ISO-8859-1? ... Charset-Bezeichner dürfen nämlich keine Leerzeichen enthalten. ... Alias: ISO-8859-1 ... Diese Belegung der Steuerzeichen nach ECMA-48, insbesondere die Control-Sets C0 und C1, setzte sich aber zumindest im Computerbereich als Standard tatsächlich durch. ...
    (de.comp.lang.java)
  • Re: Cobol books & experiences
    ... adopted by ISO) ... For the '02 COBOL Standard, ... It went thru the ISO process and ANSI then adopted it. ... Just as ANSI can adopt the current ISO Standard, so can "DIN" (the German ...
    (comp.lang.cobol)