Article: 46262 of comp.lang.prolog
Path: tunews.univie.ac.at!aconews-feed.univie.ac.at!aconews.univie.ac.at!not-for-mail
X-newsreader: xrn 10.00-beta-3
From: ulrich@mips.complang.tuwien.ac.at (Ulrich Neumerkel)
Newsgroups: comp.lang.prolog
Subject: Prolog portability quest 2
Organization: Institut fuer Computersprachen, Technische Universitaet Wien
Date: Mon, 19 Jul 2010 08:15:25 GMT
Message-ID: <2010Jul19.101525@mips.complang.tuwien.ac.at>
Lines: 13
NNTP-Posting-Host: a4.complang.tuwien.ac.at
X-Trace: 1279527575 tunews.univie.ac.at 10578 128.130.173.65
X-Complaints-To: abuse@tuwien.ac.at
Xref: tunews.univie.ac.at comp.lang.prolog:46262

Start up your Prolog and see what happens with the query:

[:- -x] = [(:- -x)].

Does it succeed? Does it fail? Why?

Obviously, there is a standard for this.

ISO/IEC 13211-1 published 1995-06-01.

BTW, above is invalid Prolog text in the standard.

http://www.complang.tuwien.ac.at/ulrich/iso-prolog/ppq/