はい、SWI-Prolog では、トップレベルは Prolog の boot/toplevel.pl に実装されています。これ (のコピー) を拡張機能の出発点として使用できます。たとえば、エディターやプログラミング環境などの他のツールを介してコンパイラーとやり取りしたい場合など、独自のトップレベルをロールすると便利な場合があります。独自のトップレベルをローリングするのに役立つ述語は、atom_to_term/3 と read_term/2 で、特に variable_names オプションを使用します。