Okay, how do we fix this?
The prolog sublist/2 relation is not “good” from the perspective that it backtracks all the ways in which X is a sublist of Y. This is very reasonable however from the perspective that the core philosophy of logic programming is computation ~ proof search. There are many ways to prove one list is a sublist of another in the presence of duplicate elements.
，更多细节参见新收录的资料
Что думаешь? Оцени!
Материалы по теме:
В России изменились программы в автошколах22:30