Representing Game Dialogue as Expressions inFirst-Order Logic

Not about OpenMW? Just about Morrowind in general? Have some random babble? Kindly direct it here.
1Zero
Posts: 20
Joined: 09 Feb 2020, 18:44

Re: Representing Game Dialogue as Expressions inFirst-Order Logic

Post by 1Zero » 24 Feb 2020, 08:28

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.
https://www.swi-prolog.org/pldoc/man?section=embedded

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.

Post Reply