Path: utzoo!attcan!uunet!seismo!sundc!pitstop!sun!quintus!ok
From: ok@quintus.UUCP (Richard A. O'Keefe)
Newsgroups: comp.lang.prolog
Subject: Re: Atom-based module systems
Message-ID: <966@cresswell.quintus.UUCP>
Date: 13 May 88 23:25:54 GMT
References: <136@vor.esosun.UUCP> <841@cresswell.quintus.UUCP> <365@aiva.ed.ac.uk> <424@aiva.ed.ac.uk>
Organization: Quintus Computer Systems, Mountain View, CA
Lines: 15

In article <424@aiva.ed.ac.uk>, jeff@aiva.ed.ac.uk (Jeff Dalton) writes:
> One reason Prolog doesn't need QUOTE is that it uses another
> convention (capitalization in Edinburgh Prolog) to distinguish
> variables from constant symbols.

ZYX's Z-Prolog *does* have some rather complex quoting facilities,
because they have a "source variable" data type (roughly, a pair of
a name and a quote level) which is distinct from "logical variable"s.
Perhaps someone from ZYX would care to comment on this.

> Perhaps, though, you have in mind that if Lisp used some other
> convention than QUOTE and then added EVAL it would also have to add
> QUOTE.  I'll have to think about that.

That was it.