Prolog などに代表されるロジックプログラミングのモデル領域。
直下の一覧
ファイル
history.md- ロジックプログラミングの歴史的背景overview.md- ロジックプログラミングの概要（定理証明・生成規則との違い）pyke.md- PyKE（Python 上の知識推論）
Prolog などに代表されるロジックプログラミングのモデル領域。
history.md - ロジックプログラミングの歴史的背景overview.md - ロジックプログラミングの概要（定理証明・生成規則との違い）pyke.md - PyKE（Python 上の知識推論）