Article View: comp.lang.prolog
Article #3361Re: Atom-based module systems
From: Richard A. O'Keefe
Date: Fri, 13 May 1988 23:25
Date: Fri, 13 May 1988 23:25
15 lines
1128 bytes
1128 bytes
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.
Technical Details
Message-ID:
<966@cresswell.quintus.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!seismo!sundc!pitstop!sun!quintus!okReferences:
<136@vor.esosun.UUCP> <841@cresswell.quintus.UUCP> <365@aiva.ed.ac.uk> <424@aiva.ed.ac.uk>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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