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

[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 <silvester.roessner@REDACTED>:
> Mercury could also be interesting for you:
>
> http://www.mercury.cs.mu.oz.au/backends.html
>
> Rosswart
>
>
> -----Ursprüngliche Nachricht-----
> Von: erlang-questions@REDACTED [mailto:erlang-questions@REDACTED] 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 <nirth.furzahad@REDACTED>:
>> 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-unsubscribe@REDACTED
>>
>>
>
> ________________________________________________________________
> erlang-questions (at) erlang.org mailing list.
> See http://www.erlang.org/faq.html
> To unsubscribe; mailto:erlang-questions-unsubscribe@REDACTED
>
>