new syntax - a provocation

Robert Virding robert.virding@REDACTED
Sat Oct 18 23:55:05 CEST 2003

---- Original Message ----- 
From: "Richard A. O'Keefe" <ok@REDACTED>
To: <erlang-questions@REDACTED>
Sent: Friday, September 26, 2003 1:51 AM
Subject: Re: new syntax - a provocation

> Perhaps I should also point to the "logix" implementation
> of Flat Concurrent Prolog.  I never actually looked inside, but
> my understanding was that atoms were implemented basically as free-
> floating strings, with the added wrinkle that if two atoms were
> compared and found to be equal, references to one were changed to
> be references to the other.  (Just _which_ references and just _how_
> they were found escape my memory.  I thought I had a copy of logix
> on an old file system, but it was a shell script pointing to an
> installation in Melbourne.)

The implementation of Strand (another flat concurrent logic language)
did the same.


More information about the erlang-questions mailing list