Нужно просто писать игры на чём-то вроде пролога и иметь очень крутой компилятор языка вроде пролога
Я догадываюсь, что это ирония, но для тех кто не в теме: для языка именно "вроде Пролога" (Тьюринг-полное ЛП) настолько эффективный компилятор написать не получится. Уже есть настолько эффективные, насколько это возможно, но вас это не устроит. Для Даталога есть дофига эффективные компиляторы (в том числе, в C++-код), но на Даталоге игру не напишешь.