｢4.4 論理型プログラミング｣に入りました。宣言的(何である)知識を用いる数学的な方法でプログラムが登場します。その事例としてデータベースが取り上げられています。この節も、前の非決定性プログラミング/amb評価器と同様、最初に論理型プログラムの使い…

｢規則｣を作れば、質問を抽象化することができるそうです。 問題4-57。person-1とperson-2が同じ担当か、person-1がperson-2の仕事もできる(can-do-job)の場合を洗い出し、これだけだと、person-1とperson-2が同じ人になってしまう可能性があるため、not条件…