As a Sega nerd and a Prolog nerd, this is insanely cool to me. Even if it seems like the Prolog relationship might be some kind of marketing gimmick - it's not clear to me to what extent the games really are written in Prolog.
>Sega's AI machine uses a run-time Prolog-language interpreter residing in 128-K bytes of read-only memory.<p>I really want to know more about this less than 128K Prolog interpreter (it shares the ROM with the OS) running at only 5 MHz.<p>Which language features does it support?<p>How does it work?<p>Writing a useful Prolog interpreter for such limited hardware is quite a feat.<p>I kinda hope someone will extract the interpreter from the ROM and convert the machine code to readable ASM.
I am guessing the context here is:<p>MAME 0.262 was just released<p><pre><code> New systems marked not working
------------------------------
Sega AI [Chris Covell, Fabio Priuli, Wilbert Pol, smspower, The Game Preservation Society]
</code></pre>
<a href="https://www.mamedev.org/releases/whatsnew_0262.txt" rel="nofollow">https://www.mamedev.org/releases/whatsnew_0262.txt</a>
Because of the name of the system and the web page claiming there's no information of the system anywhere in the web I can't help but think that this some sort of art project and that everything has been generated with AI and that the system never existed.