在Prolog中实现分数与等级绑定及非数值输入处理问题

原有的evaluate_grade/2规则仅处理了数值范围的匹配逻辑，但未对输入参数的类型做校验，导致传入非数值（如原子blahblah）时，会因无法执行</>=比较而报错或回溯失败。以下是几种实用的处理方案：

1. 返回特定标识标记无效输入 #

新增规则优先检查输入类型，若为非数值则绑定明确的无效等级（如invalid），避免报错：

% 非数值输入处理规则，优先级高于数值规则
evaluate_grade(X, invalid) :-
    \+ number(X).

% 原有数值范围评定规则（按常规成绩逻辑调整，可根据需求修改阈值）
evaluate_grade(X, a) :-
    X >= 90.0.
evaluate_grade(X, b) :-
    X >= 80.0, X < 90.0.
evaluate_grade(X, c) :-
    X >= 70.0, X < 80.0.
evaluate_grade(X, d) :-
    X >= 60.0, X < 70.0.
evaluate_grade(X, f) :-
    X >= 0.0, X < 60.0.

调用evaluate_grade(blahblah, G)时，G会被绑定为invalid，程序正常返回结果。

2. 抛出明确的错误提示 #

若需要严格拦截非数值输入并给出错误信息，可使用Prolog内置的throw/1谓词触发类型错误：

% 前置校验：非数值输入直接抛出错误
evaluate_grade(X, _) :-
    \+ number(X),
    throw(error(non_numeric_input, context(evaluate_grade/2, X))).

% 数值范围评定规则
evaluate_grade(X, a) :-
    X >= 90.0.
evaluate_grade(X, b) :-
    X >= 80.0, X < 90.0.
evaluate_grade(X, c) :-
    X >= 70.0, X < 80.0.
evaluate_grade(X, d) :-
    X >= 60.0, X < 70.0.
evaluate_grade(X, f) :-
    X >= 0.0, X < 60.0.

调用evaluate_grade(blahblah, G)时，Prolog会输出清晰的错误上下文，提示输入为非数值类型。

3. 仅过滤非数值输入（无额外返回） #

在每条数值规则前添加number(X)校验，确保只有数值会进入范围判断，非数值输入直接返回false：

evaluate_grade(X, a) :-
    number(X),
    X >= 90.0.
evaluate_grade(X, b) :-
    number(X),
    X >= 80.0, X < 90.0.
evaluate_grade(X, c) :-
    number(X),
    X >= 70.0, X < 80.0.
evaluate_grade(X, d) :-
    number(X),
    X >= 60.0, X < 70.0.
evaluate_grade(X, f) :-
    number(X),
    X >= 0.0, X < 60.0.

这种方式下，非数值输入会直接导致查询失败，不会触发报错，适合对输入合法性有隐性要求的场景。

关键说明 #

Prolog中number/1谓词可准确判断项是否为数值（含整数、浮点数），所有方案均基于此类型校验实现，可根据业务需求选择对应的处理逻辑。

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