一気に流し読みしましたが、説明ばかりでいまいち頭に入ってこない。 気になる記述を適当にメモ書き。 質問システム pattern matchingとunificationを中心に構成される パターンマッチング pattern matcherはあるデータが指定されたパターン(例：(job ?x ?y)…