節形式への変換

Menu Menu

孫 (grandchild) や従兄弟を表す一階述語論理の式を講義の文法に沿って表せ。

それを節形式に変換せよ。

さらに、シーケント代数の構文に合わせよ。

bortherの例にならって、Proplog で実装し、SWI-Prolog で実行してみよ。