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.
関数名
IsList
IsNil
MkList
Nil
概要
#include "cpred.h"
int IsList(LIST, HEAD, TAIL)
TERM LIST;
TERM *HEAD, *TAIL;
int IsNil(T)
TERM T;
TERM MkList(HEAD, TAIL, TAIL_POINTER)
TERM HEAD, TAIL;
TERM **TAIL_POINTER;
TERM Nil()
IsListは、LISTがリストの場合には１を返し、HEADにリストの先頭を、TAILにリストの末尾を返します。LISTが空のリスト、またはリストでない場合には、０を返します。
IsNilは、Tが空のリストの場合には１を返し、そうでない場合には０を返します。
MkListでは、HEADは第１番目の要素になる項であり、TAILはリストの末尾となる項であることが必要です。そうすると、Prologのリスト［HEAD│TAIL］を表す項が返されます。TAIL_POINTERには、返されたリスト項の末尾を指すポインタが返されます。
Nilは、空のリストを返します。
| 
