length, #reverse
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.
length(+リスト,-長さ)
reverse(+入力リスト,-出力リスト)
?- length([1,2,3,4,5],X)
X = 5
yes
?- reverse([1,2,3,4,5],X)
X = [5,4,3,2,1]
yes
?-
length/2は、「リスト」の長さを計算します。これは任意のリストの長さを計算するのに、一定量のPrologスタックだけを使用します。
reverse/2は、与えられたリストを逆順にします。
Up
read on...