第六章逻辑式程序设计语言3.pptVIP

例 快速分类的Prolog代码 r1 split(_，[ ]，[ ]，[ ] ). r2 split (Pivot，[Head | Tail]，[Head | Sm]，Lg):- Head Pivot，split (Pivot，Tail，Sm，Lg). r3 split (Pivot，[Head | Tail]，Sm [Head | Lg]):- Pivot Head，split (Pivot，Tail，Sm，Lg). r4 quicksort ([ ]，[ ]). r5 quicksort ([Head [ ] ]，Head). r6 quicksort ([Pivot | Unsorted] AllSorted):- split (Pivot，Unsorted，Small，Large), quicksort (Small，SmSorted)， quicksort (Large，Lgsorted), append (SmSorted，[Pivot | LgSorted]，AllSorted). (3)逻辑和控制分离 Pro