List 序言检查列表是否按升序排列

我有一张单子，我想看看是否订了。有人能指出我的错误吗

谢谢

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

---

如果你有一个单身列表，那么什么是stoixio1和stoixio12呢？条件应该是元素1和元素2

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

已排序（[]）。
已排序（[[uu]）。
被排序（[X，Y | T]）：-
这是我的错。与element1相同，element2感谢您在Prolog中的帮助，变量必须以大写字母或
开头<例如，code>element1
不是一个变量。它是n原子。