関数名 XChk 概要 #include "cpred.h"
int XChk(TEST,EXCEPTION_MESSAGE) int TEST; char *EXCEPTION_MESSAGE;
XChkは、TESTを評価し、結果を検討します。もし、TESTの結果が真（＝１）であれば、XChkによって１が返されます。そうでなければ０が返され、EXCEPTION_MESSAGEで与えられた例外メッセージがIF/Prologの例外処理ハンドラに渡されます。
たとえば XChk( IsAt( StringTerm ),"atom_expected" );