Игровой мир задать в виде аксиом, а факты - текущее положение. И пока начать с малого - однопользовательской игры против случайных компьютерных соперников.

- - - Добавлено - - -

Цитата Сообщение от Raydac Посмотреть сообщение
если тут такие фаны пролога, то можете тут посмотреть небольшую среду разработки
спасибо за ссылку!
Я еще на нем не начинал программировать, только теоретически думаю долго, как можно приладить)