我现在工作在Bratko的书里,我在看泡泡类的程序。我似乎不明白为什么需要削减(!)。如果没有削减,Prolog会回溯,它怎么可能找到糟糕的答案呢?还有,一个没有排序的列表怎么可能会达到目标bubblesort(Sorted, Sorted)。gt(X,Y) :- X > Y.
bubblesort(List, S
我用二进制搜索编写了在元组索引列表中搜索的程序。superBubble::(Ord t) =>[[t]]->[[t]]combining::[BookInfo]->[Int] binsearch :: [Int] -> Int -> Int -> Int -> Int -- list, value,where