Ai Dreams Forum

Member's Experiments & Projects => AI Programming => Topic started by: Zero on October 06, 2021, 05:58:01 pm

Title: Epilog
Post by: Zero on October 06, 2021, 05:58:01 pm

Hi!

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

Title: Re: Epilog
Post by: MagnusWootton on October 06, 2021, 07:06:34 pm

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

Title: Re: Epilog
Post by: ivan.moony on October 06, 2021, 07:15:58 pm

Almost as cool as intermezzo.

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

Title: Re: Epilog
Post by: Zero on October 07, 2021, 09:33:49 am

what's intermezzo?

Title: Re: Epilog
Post by: ivan.moony on October 07, 2021, 11:07:36 am

Quote from: Zero on October 07, 2021, 09:33:49 am

what's intermezzo?

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

Title: Re: Epilog
Post by: MagnusWootton on October 07, 2021, 11:32:02 am

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?

Title: Re: Epilog
Post by: ivan.moony on October 07, 2021, 01:10:20 pm

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

Title: Re: Epilog
Post by: MagnusWootton on October 07, 2021, 03:46:27 pm

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

Title: Re: Epilog
Post by: Zero on October 08, 2021, 09:38:00 am

Quote

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

Wow not at all, this is not my work!

Title: Re: Epilog
Post by: ivan.moony on October 12, 2021, 05:34:17 pm

Isn't DPLL algorithm (https://en.wikipedia.org/wiki/DPLL_algorithm) the algorithm behind Prolog?