Re: Rationale for some idiosyncratic conventions in Prolog?

From: Brian Hulley (brianh_at_metamilk.com)
Date: 02/28/05 

Date: 28 Feb 2005 14:08:04 -0800

The only reason is that in C++, == means pointer equality, and when
dealing with circular data structures it is natural (for me at least)
to think in terms of pointers when recursing through the structure ie
for me ==/2 just *is* this relation and I think I even used it as such
once when I was a student without even considering that it had anything
to do with the standard order - of course it is always an error to
assume the universe is defined by C, C++ conventions :-)