prolog - 義務論理のプログラミング

Question

義務論理のルールを書く必要があります。それを行うためのプログラミング言語はありますか? プロローグを見て今勉強中なのですが、プロローグで義務論理をどう表現するか？助けてください