REPL でも述語を定義する方法 stackoverflow.com ['user'] で REPL でも述語が定義できる。 | ?- ['user']. woman(mia). ^D 部分適用 Prolog で部分適用。 ?- ['user']. add(X, Y, X+Y). |: true. ?- add(1, 2, R). R = 1+2. ?- call(add, 1, 2, R). R = 1+2…

そういう Pull Request を送ってマージされました。 github.com 述語が多くなってくると REPL で確認するのも面倒になってくるかと思いますが、 そういう時はおもむろに新しいバッファを作って :setf prolog して :QuickRun すると実行した結果が別バッファ…

ので書いた。 さっと書いた雑クオリティなので GitHub - kana/vim-fakeclip: Vim plugin: Provide pseudo "clipboard" registers 使うのが良いんだと思います。 help ちらっと見たら WSL にも対応してるっぽいので、OS 間で統一して扱いたいとかいう人はそち…

Prolog 手習いに作ってみた。 使い方はコメントとかテストコードから察してください。 Prolog 初心者なので添削してくれると嬉しいです。 SWI-Prolog (in WSL) で確認しています。 Item++Children みたいな感じでツリー構造を作っていきます。 Item は任意の…