Как преобразовать атом в термин в тау-прологе

Question

Как бы это сделать и расширить Tau Prologs core.js
новым встроенным term_atom/2. Это будет работать следующим образом:

      ?- term_atom(X, '2 + foo'), write_canonical(X), nl.
+(2, foo)

Я обнаружил, что в Tau Prolog есть все, чтобы сделать такую
​​встроенную функцию, поскольку основной экспортируемый объект plимеет:

          // PROLOG
    var pl = {
        // Parser
        parser: {
            tokenizer: Tokenizer,
            expression: parseExpr
        },

Но как собрать все воедино, чтобы сделать новый встроенный.
Может быть, кто-то уже делал это и хотел бы поделиться?