関数名
IFISLIST IFISNIL IFMKLIST IFNIL
概要
FUNCTION IFISLIST(LIST, HEAD, TAIL) TERM LIST TERM HEAD, TAIL
FUNCTION IFISNIL(TERM) TERM TERM
FUNCTION IFMKLIST(HEAD, TAIL) TERM HEAD, TAIL
FUNCTION IFNIL
IFISLISTは、第1引数が、リストを表すPrologのTERMであるかどうかをテストします。もしリストの場合には1を返し、HEADにリストの先頭を、TAILにリストの末尾を返します。それ以外の場合には、0を返します。
IFISNILは、TERMが空のリストであるかどうかをテストし、空の場合には1を返し、そうでない場合には0を返します。
IFMKLISTは、リスト[HEAD│TAIL]を構成する項を返します。
IFNILは、空リストである項を返します。