たしかにPrologは簡潔ではあるけど
じつは論理でも集合でもなく、リスト処理だろ
詐欺じゃん