私はPrologが初めてで、この演習を解決しようとしています:
greater_than/2
この講義で紹介した記法で 2 つの数字 (つまり0
,succ(0)
,succ(succ(0))
...) を引数として取り、1 つ目が 2 つ目より大きいかどうかを判定する述語を定義します。例えば:
?- greater_than( succ(succ(succ(0))), succ(0) ).
yes.
?- greater_than( succ(succ(0)), succ(succ(succ(0))) ).
no.
これまでの私の答えは次のとおりです。
greater_than(X, 0).
greater_than( succ(succ(X)), succ(Y) ).
もちろんうまく動かないので、誰かに助けを求めています。ありがとう。