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

[Robert Virding]

No, Zabrane the latest release is the one on github. Erlog has not died or been shelved. It is dormant because what is really needed now is more work on the interface between erlang and erlog, and for that I need some users to provide input. The logic engine works fine within the limitations imposed by implementing it in erlang.

If anyone is considering using erlog please contact me.

Robert

----- "zabrane Mikael" <zabrane3@REDACTED> wrote:

> Erlog is on Github:
> http://github.com/rvirding/erlog
> 
> -- 
> Regards
> Zabrane
> 
> 
> 2010/10/1 zabrane Mikael <zabrane3@REDACTED>:
> > 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
> >>
> >>
> >
> 
> ________________________________________________________________
> erlang-questions (at) erlang.org mailing list.
> See http://www.erlang.org/faq.html
> To unsubscribe; mailto:erlang-questions-unsubscribe@REDACTED