题目描述：编写一个Prolog程序，用于识别一阶逻辑术语。

一阶逻辑术语包括常量，变量和函数符号。它们可以是任何字母数字字符串，可以有下划线或单引号。下面是识别这些语义项目的Prolog程序。

% 定义一些正则表达式模式
letter(Code) :- Code >= 97, Code =< 122.
digit(Code) :- Code >= 48, Code =< 57.
underscore(95).
singlequote(39).

% 定义所有常量/变量的集合
termchar(Code) :- letter(Code).
termchar(Code) :- digit(Code).
termchar(95). % underscore

% 定义符号名称
const_name([X|T], Remainder) :-
    letter(X), !, name(T, Remainder).
const_name([0'''|T], Remainder) :-
    singlequote, !, skip_string(T, Remainder).
const_name(_, _).
    
% 定义函数名
func_name([X|T], Remainder) :-
    letter(X), !,
    name(T, R),
    ( R = [], Remainder = R  % 长度为1，已经到末尾
    ; R = [0'(, C|Remainder], % 以'('结尾
      term_list(Remainder),  % 检查剩下项是否匹配
      char_code(C, 41)        % 以')'结尾
    ).
    
% 定义术语类型
term_list([], []).
term_list(String,[X|List]) :-
    termchar(X),
    (const_name(String, Remainder), term_list(Remainder, List)
    ; func_name(String, Remainder), term_list(Remainder, List)
    ).

% 测试代码
?- term_list("hello_world(1,a,b,'x y z')", T).
% Output: