Tokenize数学表达式 - 错误未定义的过程

Question

我试图从用户的输入中标记数学表达式。我编写了这段代码，但我不明白，为什么没有定义谓词“tokenize”。我对这个定义很满意，但我仍然没有看到问题。

input_infix:-
    write('Enter equation: '),
    readln(Input),
    tokenize(Input,Chars),
    writeln(Chars).

ERROR: Undefined procedure: tokenize/2
ERROR: In:
ERROR:    [9] tokenize(['(',1|...],_1236)
ERROR:    [8] input_infix at d:/dokumenty/prolog/notation.pl:4
ERROR:    [7] <user>