Comment on Game Programming in PrologparentComments−ssrc1yThe most similar thing to a "static" Prolog would be Mercury[0] or Turbo Prolog[1]. OTOH, if you want an embed-able logic programming library there is the mini/microKanren family[2].[0] https://en.wikipedia.org/wiki/Mercury_(programming_language)[1] https://en.wikipedia.org/wiki/Visual_Prolog[2] https://en.wikipedia.org/wiki/MiniKanren
Comments
The most similar thing to a "static" Prolog would be Mercury[0] or Turbo Prolog[1]. OTOH, if you want an embed-able logic programming library there is the mini/microKanren family[2].
[0] https://en.wikipedia.org/wiki/Mercury_(programming_language)
[1] https://en.wikipedia.org/wiki/Visual_Prolog
[2] https://en.wikipedia.org/wiki/MiniKanren