If List is instantiated, unifies Atomnumber with the atom or number corresponding to this list of ASCII integers.
Success: name(atom,[97,116,111,109]). name(atom,[X,116|T]). (gives X=97,T=[111,109]). name(/,[47]). name(10,[49,48]). name(20.0,[50,48,46,48]). name(2,[50]). name(+2,L). (gives L=[50]). name(-2,L). (gives L=[45,50]). name('1',[0'1]). X is 1/3, name(X,Y). % X unifies with 0.333333 (gives Y=[48,46,51,51,51,51,51,51]). Fail: name(atom,[98,116,111,109]). name('1',B), name(C,B), C='1'. % 1 does not unify with '1'. name(1.0,[0'1,0'.,0'0,0'0]). % 1.0 is not 1.00 Error: name(AN,[1,M]). (Error 4). name(AN,L). (Error 4). name(f(1,2),L). (Error 5). name(AN,[128]). (Error 6). name(AN,[0]). (Error 6).