Wed Jan 12 17:50:35 CET 2005
> On Wed, 12 Jan 2005, Mickael Remond wrote:
>> Tiago Rodrigues Antao wrote:
>>> As far as I can see Erlang has no concept of parameters that are both
>>> input/output and of backtrack. Am I wrong?
>> No. You are right. The syntax of Erlang comes from Prolog, but the language
>> feature are different.
>> Regarding inference, maybe the rule engine ERES, found in the Exat Agent
>> platform could be usefull to you (See:
>> Mickaël Rémond
> I've kept my eye on Mercury --- a hybrid of functional and logic programming
> language. The Mercury has an experimental implicit parallelism implemented
> (got it? :)) and one can read it about at
> The main site is at
> It might be interesting for you. At least the implicit parallelism is
> interesting for me as the CMP/SMT -processors are coming.
> Have a nice read :)
Oh, I forgot to mention that in the thesis the author also mentiones quite
shortly Erlang and it's concurrency implementation.
Student. . . . . . . . . .University of Oulu, Dept. of El. & Inf. Eng.
"Life is what happens to you while you're busy making future plans."
- Alfred E. Neuman
More information about the erlang-questions