素性構造型対応AZ-Prolog Ver.9をリリース致しました。ぜひ一度おためしください。 x

第2章 非単調推論システム