Received: by 10.66.73.226 with SMTP id o2mr1098960pav.12.1352918773646;
        Wed, 14 Nov 2012 10:46:13 -0800 (PST)
MIME-Version: 1.0
Path: s9ni11505pbb.0!nntp.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news-out.octanews.net!indigo.octanews.net!news.glorb.com!feeder.erje.net!eu.feeder.erje.net!eternal-september.org!feeder.eternal-september.org!mx04.eternal-september.org!.POSTED!not-for-mail
From: ulr...@mips.complang.tuwien.ac.at (Ulrich Neumerkel)
Newsgroups: comp.lang.prolog
Subject: Re: ANN: open source Prolog compilers: BinProlog and Jinni Prolog
Date: Wed, 14 Nov 2012 18:38:35 GMT
Organization: Technische Universität Wien, Institut für Computersprachen
Lines: 27
Message-ID: <2012Nov14.193835@mips.complang.tuwien.ac.at>
References: <95ac36f2-fca3-4f0d-b599-7a377413eedc@googlegroups.com> <2012Nov14.152438@mips.complang.tuwien.ac.at> <k80gau$2bd$1@news.albasani.net>
Injection-Info: mx04.eternal-september.org; posting-host="e3602f98984ce6eff143cbffbeeac014";
	logging-data="11807"; mail-complaints-to="ab...@eternal-september.org";	posting-account="U2FsdGVkX19ByKakZz6u83dGSk+TaS10"
X-newsreader: xrn 10.00-beta-3
Cancel-Lock: sha1:f6sVE8bjBLLi7b/o4GHG4INSI5o=
Bytes: 1915

Jan Burse <janbu...@fastmail.fm> writes:
>Ulrich Neumerkel schrieb:
>> Are these the only Prolog you are maintaining currently?
>>
>> What are your plans for ISO/IEC conformance?
>>
>> http://www.complang.tuwien.ac.at/ulrich/iso-prolog/
>
>I would embrace if *all* JVM Prolog systems would
>try to reach ISO/IEC comformance.
>
>And I would embrace if there are test suites for
>syntax and predicates, that can be executed *unattended*.

There are a lot of properties that cannot be tested unattended.  I mean
just for syntax:

http://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_assessment#2

The point being, that after the two characters "'\n" there should be already
a syntax error.

Or ")\n" should wait.

The current table I have collected covers these issues.  How do you
propose that an unattended test suite should hanlde these?