Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!allegra!princeton!caip!seismo!mcvax!euroies!mgv
From: mgv@euroies.UUCP ( Marco Valtorta)
Newsgroups: net.lang.prolog
Subject: Re: Standard behavior?
Message-ID: <306@euroies.UUCP>
Date: Wed, 28-May-86 12:01:39 EDT
Article-I.D.: euroies.306
Posted: Wed May 28 12:01:39 1986
Date-Received: Sun, 25-May-86 13:55:02 EDT
References: <6500005@uicsl> <1135@erix.UUCP>
Organization: University College Dublin
Lines: 11

I find UNSW's behavior to be intuitively more correct, since
it seems that the empty list "[]" should match the anonymous
variable "_".  This wouldn't be the first time that I find
UNSW to act in a way that is closer to my "mental model" of
Prolog.  
Maybe someone involved in a standardization effort could contribute
something on this topic?

[What contained above is my personal opinion.]:w
-