Concat/3

Предикат concat устанавливает, является ли String3 строкой, получен-

ной при сцеплении String1 и String2. Он имеет форму:

concat(String1,String2,String3)

/*(i,i,o),(i,o,i),(o,i,i),(i,i,i) */

По крайней мере два параметра должны быть связаны перед тем, как вы

вызываете concat; это означает, что concat всегда дает только одно реше-

ние (другими словами, он - детерменический). Например, мы вызываем

concat ("croco","dile",In_a_while)

, связывая In_a_while с crocodile. В другом случае, если See_ya_later

связано, то обращение к предикату

concat("alli","gator", See_ya_later)

завершается успешно только если See_ya_later является связанным с

alligator.