Path: tunews.univie.ac.at!aconews-feed.univie.ac.at!aconews.univie.ac.at!not-for-mail
X-newsreader: xrn 9.03-beta-14
From: ulrich@mips.complang.tuwien.ac.at (Ulrich Neumerkel)
Reply-To: ulrich@mips.complang.tuwien.ac.at
Newsgroups: comp.lang.prolog
Subject: Prolog portability quest 1
Organization: Technische Universität Wien, Institut für Computersprachen
Keywords: 
Date: Thu, 10 Dec 2009 08:19:50 GMT
Message-ID: <2009Dec10.091950@mips.complang.tuwien.ac.at>
Lines: 23
NNTP-Posting-Host: a4.complang.tuwien.ac.at
X-Trace: 1260435129 tunews.univie.ac.at 12642 128.130.173.65
X-Complaints-To: abuse@tuwien.ac.at
Xref: tunews.univie.ac.at comp.lang.prolog:45171

Start up your Prolog processor and immediately type in the
following query:

X = [:-,f(:-),(-)-1,(-)+(-)].

You should get back the same text as answer.
Maybe with some extra layout spaces, and maybe without
the . at the end.

If you see something else, Prolog text generated by your system
is most probably not portable.  Chances are, some terms
cannot even be read back by such a system.

There is a standard for this: ISO/IEC 13211-1 published 1995-06-01.

Which systems produce the desired output?  Please tell only
about working systems!

Here are the ones I have access to and that work for above test:

B, ECLiPSe, GNU, SWI, YAP

http://www.complang.tuwien.ac.at/ulrich/iso-prolog/ppq/1.txt
------------------------------------------------------------------------
Further systems reported by readers:

SICStus 4.1.