copy_term
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.
copy_term(+入力項,-出力項)
copy_term/2は、「入力項」のすべての変数名を変更するようにして作ったコピーを「出力項」に返します。
?- copy_term(a(B),X).
B = _190
X = a(_213)
yes
?- __
Up
read on...