Does anyone know if Prolog has been used in video games? I keep wondering if complex histories like those in Dwarf Fortress are coded via a Prolog-like approach

Does anyone know if Prolog has been used in video games? I keep wondering if complex histories like those in Dwarf Fortress are coded via a Prolog-like approach to keep them consistent and correct.