問題の表現が気になる。自然言語なのか論理式なのか。Prologとかは?