関数名

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は、空リストである項を返します。