Erlog - a prolog interpreter written in, and for, Erlang

Robert Virding <>
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?
>    /Joe
>>-----Original Message-----
>>[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 
>>straightforward representation.
>>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 mailing list