Prolog
すごいPrologつくって学ぼう！？
https://matsud224.github.io/pdf/lime56.pdf
Prologの処理系をTypeScriptで書いてみた - kkty’s blog
https://blog.kkty.jp/entry/2019/07/17/071543