K-Prolog Compiler Version 6.0 
| append(?List1,?List2,?List3) |
| List1 | 結合 |
| List2 | 前部 |
| List3 | 後部 |
List1が前部と後部を結合したリストになる時、成功します。
| member(?Element,?List) |
| Element | 要素 |
| List | リスト |
要素elementがListの要素であるとき、成功します。
| reverse(?List1,?List2) |
| List1 | リスト |
| List2 | 反転したリスト |
リストlist1を反転したものがList2であるとき、成功します。
| select(?List,?Element,?Rest) |
| List | リスト |
| Element | 要素 |
| Rest | 残り |
リストListから要素elementを除いたものを、リストRestにします。
| permutation(?List1,?List2) |
| List1 | リスト |
| List2 | 並べ替え |
リストList1の要素の順序を並べ替えたものをList2にします。