SWI-Prolog の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• SWI-Prolog へ行く。

* SWI-Prolog [#z90412ad]
- http://www.swi-prolog.org/
-- 論理型言語

[[:included in knxm:]]