WebAssemblyでPrologメリクリ！これはProlog Advent Calendarの１日目（😅）の記事です。最近Trealla PrologというPrologインタプリタをWASM化したので紹介しようと思います。 Prologについて Prologとは論理プログラミング言語の１つです。論理プログラミングはかなり特殊で、「プログラミング言語なんて全部一緒でしょ」という人は論理プログラミング言語を絶対に使ったことないです（笑）。手続き型っぽいことは出来なくはないですが、主に関連性や論理的な条件を宣言して、クエリを投げる感じの使い方になります。少しSQLに似ているが、SQLと違って同図像性などを重視しています。 Trealla Prologについて Trealla PrologはAndrew Davison氏によるMITライセンスのPrologインタプリタです。 特徴としては C製 (C99) ISO Prolog
