整数のbツリーが順序付けられているかどうかを確認するプログラムをPrologで作成したいと思います。順序は小さいものから大きいものへと進みます。これは私がこれまでに書いたものですが、私は確固たる仕事に到達していません。誰かがそれを行う方法を知っていますか?
Domains
element=integer
tree=a(tree,element,tree);void
Predicates
nondeterm ordre(tree)
Clauses
order(a(_,Node,a(_,Node2,_))):-Node<Node2.
order(a(Esq,Node,Dre)) :-
order(Esq),
write(Node),nl,
order(Dre).
Goal
order(a(a(void,1,void),2,a(a(void,3,void),4,a(void,6,void)))).
どうもありがとう。