MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
関数名
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は、空リストである項を返します。
| 
