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

[Robert Virding]

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.

Robert

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-----
>>From: owner-erlang-questions@REDACTED 
>>[mailto:owner-erlang-questions@REDACTED] On Behalf Of Robert Virding
>>Sent: den 16 maj 2006 00:33
>>To: erlang-questions@REDACTED
>>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.
>>
>>Enjoy,
>>Robert
>>
> 
>