アリティ(arity)
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.
項（例えば述語あるいは複合項）のアリティは、引数の数です。
例えば、複合項f(_,_,_,_)のアリティは４です。特例として、アトムのアリティは０で、リストのアリティは２です。
IF/Prologでは、複合項のアリティは最大で127です。
Up
read on...