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/

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) https://en.wikipedia.org/wiki/Mercury_(programming_language) [1] https://en.wikipedia.org/wiki/Visual_Prolog https://en.wikipedia.org/wiki/Visual_Prolog [2] https://en.wikipedia.org/wiki/MiniKanren https://en.wikipedia.org/wiki/MiniKanren