合同解除后，保险人应当将自合同解除之日起至保险期间届满之日止的保险费退还被保险人。
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.，这一点在新收录的资料中也有详细论述
Шанхайские Драконы。新收录的资料对此有专业解读
and that people would definitely notice。关于这个话题，新收录的资料提供了深入分析