Humanity

Edit the world by your favorite way

quickrun.vim でバッファの Prolog コードを実行できるようにした

そういう Pull Request を送ってマージされました。

github.com

述語が多くなってくると REPL で確認するのも面倒になってくるかと思いますが、 そういう時はおもむろに新しいバッファを作って :setf prolog して :QuickRun すると実行した結果が別バッファに出ます。

main :-
  write('hello'),nl,
  write('prolog'),nl,
  % ,halt.    % 明示的に halt してる場合もしてない場合も必ず終了するのでご心配なく (-g halt (SWI) や --query-goal halt (GNU) しているため)
  .
:- initialization(main).

他にも例えば

tyru.hatenablog.com

にあるようなテストコード (test.pl) を :QuickRun するだけで、Vim にいながらテスト結果がわかるので嬉しいです。