[erlang-questions] Implementation of Fact (Belief) Base

zabrane Mikael <>
Fri Oct 1 09:07:45 CEST 2010


Erlog is on Github:
http://github.com/rvirding/erlog

-- 
Regards
Zabrane


2010/10/1 zabrane Mikael <>:
> or Erlog:
> http://www.trapexit.org/forum/viewtopic.php?t=6126&sid=cc8045f60370cac21dc1c8b11839fc47
>
> Is there any new Erlog release Robert?
> --
> Regards
> Zabrane
>
> 2010/10/1 Roessner, Silvester <>:
>> Mercury could also be interesting for you:
>>
>> http://www.mercury.cs.mu.oz.au/backends.html
>>
>> Rosswart
>>
>>
>> -----Ursprüngliche Nachricht-----
>> Von:  [mailto:] Im Auftrag von zabrane Mikael
>> Gesendet: Donnerstag, 30. September 2010 17:45
>> An: David Sergey
>> Cc: Erlang Questions
>> Betreff: Re: [erlang-questions] Implementation of Fact (Belief) Base
>>
>> Have a look to ERES :
>> http://groups.google.com/group/erlang-programming/browse_thread/thread/6ea7e7de37274523
>>
>> --
>> Regards
>> Zabrane
>>
>>
>>
>> 2010/9/30 David Sergey <>:
>>> Hello Everybody
>>>
>>> I'm researching ways in Erlang to create Prolog (or any other logical language like) fact/belif base. Point is - some data structures should be stored on process for later evaluation.
>>>
>>> Best Regards
>>> David
>>> ________________________________________________________________
>>> erlang-questions (at) erlang.org mailing list.
>>> See http://www.erlang.org/faq.html
>>> To unsubscribe; mailto:
>>>
>>>
>>
>> ________________________________________________________________
>> erlang-questions (at) erlang.org mailing list.
>> See http://www.erlang.org/faq.html
>> To unsubscribe; mailto:
>>
>>
>


More information about the erlang-questions mailing list