K-Prolog Compiler Version 6.0 
項の種類に応じて型判定を行なう述語が用意されています。
| var(@X) |
| X | 項 |
Xが変数であるとき成功します。
| nonvar(@X) |
| X | 項 |
Xが変数ではないとき成功します。
| atom(@X) |
| X | 項 |
Xがアトムであるとき成功します。
| integer(@X) |
| X | 項 |
Xが整数であるとき成功します。
| float(@X) |
| X | 項 |
Xが浮動小数点数であるとき成功します。
| number(@X) |
| X | 項 |
Xが数(整数または浮動小数点数)であるとき成功します。
| atomic(@X) |
| X | 項 |
Xがアトムまたは数であるとき成功します。
| compound(@X) |
| X | 項 |
Xが複合項であるとき成功します。
| ground(@X) |
| X | 項 |
Xが基底項であるとき成功します。
| cyclic(@X) |
| X | 項 |
| cyclic_term(@X) |
| X | 項 |
Xが循環する項であるとき成功します。
| acyclic_term(@X) |
| X | 項 |
Xが循環する項ではないとき成功します。
| callable(@X) |
| X | 項 |
Xが呼び出し可能な項であるとき成功します。