[CL] The case of the vanishing variables -- history and analysis
John F. Sowa
sowa at bestweb.net
Tue Nov 1 14:17:19 CST 2005
I agree that blurring the distinction between individuals
and relations is a bigger jump. But actually, it didn't
cause much difficulty in mapping CGIF to CL.
> By contrast, the distinction between constant and
> variable is purely syntactic...
True. But if you recall, that's what I'm trying to
define -- syntax. I'm just piggybacking the semantics
on what you and Pat did.
More information about the CL