Hi In the library reference manual, in the part about the parser library, it is written: "The parse_token_list predicate is similar, but it takes a list of tokens rather than a string." But this is the only place where "parse_token_list" is mentioned, in the library reference manual... Regards, Volker