|
|
|||||||||
アトムを連結、または分割する。
atom_concat(+アトム1, +アトム2, -アトム3)
atom_concat(?アトム1, ?アトム2, +アトム3)
もし、アトム1 とアトム2 がアトムならば、アトム3 は、アトム1とアトム2の連結で、単一化される。
もし、アトム3がアトムならば、Minervaは、アトム3を 2つのパート、(パート1 and パート2) に分割し、アトム1をパート1に、 アトム2 を パート2に単一化する。
引数
アトム1 アトム アトム2 アトム アトム3 アトム
例
| atom_concat('this is', ' an example', A3). | A3 <- 'this is an example' の代入で、成功。 |
| atom_concat(A1, A2, 'abc'). | 以下の代入で成功。 {A1 <- '', A2 <- 'abc'} {A1 <- 'a', A2 <- 'bc'} {A1 <- 'ab', A2 <- 'c'} {A1 <- 'abc', A2 <- ''} |
| atom_concat(Basename, '.txt', 'hello.txt'). | 以下の代入で成功。 {Basename <- hello} |
標準
この述語は、ISO-Prolog標準に含まれる。
関連
atom_chars/2, atom_codes/2, atom_length/2, atom_number/2, char_code/2, number_chars/2, number_codes/2, parse_atom/2/3, sub_atom/5.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/atomic_term/atom_concat/print_jp.html published 2008/10/13 update 1997/6/22 (c) 1996-2006 IF Computer Japan | ||||||||
|
