SWI-Prolog
の変更点
http://www.mathlibre.org/wiki/?SWI-Prolog
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
追加された行は
この色
です。
削除された行は
この色
です。
SWI-Prolog
へ行く。
* SWI-Prolog [#z90412ad] - http://www.swi-prolog.org/ -- 論理型言語 [[:included in knxm:]]