[Zero]

Hi!

How cool is that?
http://epilog.stanford.edu/homepage/index.php

[MagnusWootton]

Its pretty good!  are they symbolic models?  (like prolog programs, I mean.)

[ivan.moony]

Almost as cool as intermezzo.

[Edit]
just kidding, intermezzo is a non-existing language.

[Zero]

what's intermezzo?

[ivan.moony]

what's intermezzo?

A fictive programming language between Prolog and Epilog. It was one of code names for my logic PL attempts.

[MagnusWootton]

So this is Zero's own work,  thats pretty nice!

I was doing a symbolic thing as well,   It was like brute forcing a random list of symbols into the correct order of symbols.

Was there a trick to Intermezzo, Ivan?

[ivan.moony]

The trick was that I spent an eternity to conceptualize it, only to find out it is merely a variation of Prolog.

[MagnusWootton]

So,   what is this thing going to bring to the state of the singularity?   Is a complete rocket blast off all our problems solved???   

[Zero]

So this is Zero's own work,  thats pretty nice!

Wow not at all, this is not my work!

[ivan.moony]

Isn't DPLL algorithm the algorithm behind Prolog?