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

[[:included in knxm:]]

トップ   編集 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 検索 最終更新   ヘルプ   最終更新のRSS