Question

我有一个列表，我想检查它是否已订购。有人可以指出我的错误吗？

由于

taxinomemene([]).
taxinomemene([element1,element2|Tail]):-
        stoixio1>stoixio12,
        taxinomemene([stoixio2|Tail]).

Answer 1

如果你有一个单身人士名单以及什么是stoixio1和stoixio12怎么办？条件应该是element1和element2

is_sorted([]).
is_sorted([_]).
is_sorted([X,Y|T]) :-
   X=<Y,
   is_sorted([Y|T]).