Prologでは論理を構成する単位を節(clause)と呼びます。文と呼ばれることもありますが節と呼ぶほうが多いみたいなので、長いものに巻かれてここでは節と呼びます。 Prologの節は3つに大分されます。その3つとは (1) 事実(fact)(2) 規則(rule)(3) 質問(query)…