如何实现多项式aX²+bX+c的格式化输出（忽略无关变量）

需求描述 #

将多项式转换为aX²+bX+c的字符串格式，需遵循以下规则：

• 若变量值为以下划线开头的无关值，不打印该变量
• 若变量值等于1或-1，不打印该变量

提供的Prolog代码 #

polynomial_string(A, B, C, PolyString) :-
    % 生成多项式系数相关组件
    rA(A, Sg2, Coef2, Var2, Expo2),
    rB(B, A, Sg1, Coef1, Var1),
    rC(C, A, B, Sg0, Coef0),
    % 拼接生成最终字符串
    format(atom(PolyString), '~w~w~w^~w~w~w~w~w~w', [Sg2, Coef2, Var2, Expo2, Sg1, Coef1, Var1, Sg0, Coef0]).

输入输出示例 #

• 查询语句：polynomial_string(1, 2, 1, PolyString).
• 期望输出：x² + 2x + 1

内容的提问来源于stack exchange，提问作者Yazid Med