prolog检查一个列表是否是升序

我有一个列表，我想检查它是否被排序。有人能指出我的错误吗？prolog检查一个列表是否是升序

感谢

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

在Prolog中，变量必须以大写字母或'_'开头。例如'element1'不是一个变量。它是n原子。我的错误是 – lurker

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

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

2016-11-13 11:35:44

。其与element1，element2相同感谢您的帮助 –

回答