Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
convert_to_tokens( [] , [] ) . convert_to_tokens([W|Ws] , [T|Ts] ) :- atom_string(A, W), map_token( A, T) , !, convert_to_tokens(Ws,Ts). map_token( + , pl ) . map_token( - , mi ) . map_token( * , ti ) . map_token( / , di ) . map_token( A , T ) :- number_atom(A,T) . map_token( A , id(A) ) :- sub_atom(A,0,1,_,C), char_type(C,alpha). map_token( A , A ) . number_atom(N,A) :- atom_number(A,N) .