編寫謂詞排序（L）

Question

編寫謂詞sorted(L)它測試整數列表是否排序，[n1,n2,...,nk]其中[n1 < n2 <...< nk]。

我迷路了。我怎麼能實現這個？

Answer 1

sorted(L) :- hightolow(L) ; lowtohigh(L). 

hightolow([H1,H2|T]) :- H1 >= H2, hightolow([H2|T]). 
hightolow([_L]). 

lowtohigh([H1,H2|T]) :- H1 =< H2, lowtohigh([H2|T]). 
lowtohigh([_L]). 

在行動：

6 ?- sorted([1,2,3,7,8]). 
true 

7 ?- sorted([1,2,3,7,8,2]). 
false. 

8 ?- sorted([9,6,3,2]). 
true . 

9 ?- sorted([9,6,3,2,7]). 
false.