Erlog - a prolog interpreter written in, and for, Erlang
Thu May 18 22:19:18 CEST 2006
Well, I could give you the names of a few good books. :-)
But, ok, I could give a few examples and show how to run them from
within Erlang. The shell is a toy.
I'll get on to it. It will take a week as I am taking a little holiday.
Joe Armstrong (AL/EAB) wrote:
> Hi Robert,
> Quite a resonable subset :-)
> Are you thinking of adding some *simple* examples?
> I was thinking of something like the good 'ol father and sons
> that all prolog texts have?
>>[mailto:] On Behalf Of Robert Virding
>>Sent: den 16 maj 2006 00:33
>>Subject: Erlog - a prolog interpreter written in, and for, Erlang
>>One thing that I have always thought was missing in Erlang
>>was a Prolog interpreter. I have now rectified that.
>>Erlog is a prolog interpreter written in Erlang that can be
>>called from Erlang and can call Erlang. It is the perfect
>>tool when you need a logic inference engine within your
>>application. Now you can finally search ETS databases as God intended.
>>Erlog implements a subset, most of the good bits at least, of
>>standard prolog and is reasonably conforming. It is easy to
>>interface with the rest of Erlang as prolog terms have a very
>>There is also a simple prolog parser based on Erlang tokens
>>and a Yecc parser which is used for loading prolog programs.
>>Note because of a bug in Yecc you cannot directly compile the
>>.erl file generated by yecc. A fixed version is included.
>>There is also a man page describing the system, ad of course the code.
More information about the erlang-questions