ホームPrologで学ぶAI手法第2章 非単調推論システム https://www.az-prolog.com/wp-content/themes/display/files/pdf/ai_002.pdf