During university, I was involved in a project using software verification (embedded system in a satellite) with the help of Prolog.
It is more efficient to include SWI Prolog directly, there is an interface provided.
Well, It's been a while and I need to review a few things. It can be integrated into LUA Oblivion scripting, exposing the interpreter with the game API.
Not about OpenMW? Just about Morrowind in general? Have some random babble? Kindly direct it here.