为排序好的list */ordered([A|[B|T]]) :- A =< B, ordered([B|T]). /* 此规则约束所谓的排序好是指前项元素小于或等于后一项元素 */
Russell's paradox.示范罗素悖论在Prolog下会导致Stack Overflow：/* tstpx.pl *//* 罗素佯谬(罗素悖论)（皇帝新脑 罗杰.彭罗斯 p.120）会导致不停机(使得gprolog产生 stack overflow) *//* 在gprolog下之