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.
# append(?リスト1,?リスト2,?リスト3)
「リスト3」は、「リスト1」と「リスト2 」を連結したものです。append/3の引数のうち１つあるいは２つが値を持っている場合には、残りの引数が適切な結果に単一化されます（以下の例題を参照して下さい）。３つの引数のすべてが値を持っているときは、IF/Prologはその文の証明を試みます。
関連
concat, length, list, member, reverse, sort
?- append([a,b],L,[a,b]).
L = []
yes
?- append([a,b,c],L,P).
L = _656
P = [a,b,c｜_656];
no
?- append(L,K,[a,b,c]).
L = []
K = [a,b,c];
L = [a]
K = [b,c];
L = [a,b]
K = [c];
L = [a,b,c]
K = [];
no
?- _
|
