Prolog代码无法向数据库存储学生数据问题求助

为什么数据没存入数据库？ #

1. 未实际执行触发谓词：多数Prolog环境（比如SWI-Prolog）加载代码后不会自动运行任何谓词，你得手动输入add_multiple_students_and_calculate_grades.（注意末尾必须加句号），才能触发数据添加和成绩计算的流程，断言才会写入动态数据库。
2. 字符串与原子的潜在不兼容：你用双引号包裹姓名（比如"John Doe"），部分Prolog会把双引号解析成字符列表，而非原子类型。这不会导致数据库为空，但后续查询如果用原子（比如student_grades('John Doe', _, _, _, _, _, _)）会匹配不到数据。建议把双引号改成单引号，统一用原子（如'John Doe'）。

成绩计算逻辑的严重错误 #

你的最终成绩计算完全不对，会算出几百甚至上万的离谱数值。原代码里直接把作业总分、考试总分乘以权重，再乘以100，完全没做归一化处理。正确的逻辑应该是先算出各部分的平均分（0-100），再乘以对应权重求和：

原错误代码片段：

UnscaledFinalGrade is (HwWeight * (HW1 + HW2 + HW3) + ExamWeight * (Midterm + FinalExam) + ProjectWeight * Project),
FinalGrade is UnscaledFinalGrade * 100,

修正后的计算逻辑：

% 先算作业平均分（3次作业的平均，归一到0-100）
HwAverage is (HW1 + HW2 + HW3) / 3,
% 算考试平均分（期中+期末的平均，归一到0-100）
ExamAverage is (Midterm + FinalExam) / 2,
% 按权重计算最终成绩（0-100）
FinalGrade is (HwWeight * HwAverage) + (ExamWeight * ExamAverage) + (ProjectWeight * Project),

修复后的完整代码 #

:- dynamic letter_grade/2, final_grade/2, student_grades/7.

% 添加学生数据到数据库
add_students([]).
add_students([[Name, HW1, HW2, HW3, Midterm, FinalExam, Project] | Rest]) :-
  asserta(student_grades(Name, HW1, HW2, HW3, Midterm, FinalExam, Project)),
  add_students(Rest).

% 计算最终成绩并存入数据库
calculate_final_grade(Name, FinalGrade) :-
  student_grades(Name, HW1, HW2, HW3, Midterm, FinalExam, Project),
  HwWeight is 0.20, % 作业权重20%
  ExamWeight is 0.40, % 考试权重40%
  ProjectWeight is 0.40, % 项目权重40%
  % 修正后的成绩计算
  HwAverage is (HW1 + HW2 + HW3) / 3,
  ExamAverage is (Midterm + FinalExam) / 2,
  FinalGrade is (HwWeight * HwAverage) + (ExamWeight * ExamAverage) + (ProjectWeight * Project),
  asserta(final_grade(Name, FinalGrade)).

% 计算字母等级并存入数据库
calculate_letter_grade(Name, LetterGrade) :-
  final_grade(Name, FinalGrade),
  (FinalGrade >= 90 -> LetterGrade = 'A';
   FinalGrade >= 85 -> LetterGrade = 'A-';
   FinalGrade >= 80 -> LetterGrade = 'B+';
   FinalGrade >= 75 -> LetterGrade = 'B';
   FinalGrade >= 70 -> LetterGrade = 'B-';
   FinalGrade >= 65 -> LetterGrade = 'C+';
   FinalGrade >= 60 -> LetterGrade = 'C';
   LetterGrade = 'F'),
  asserta(letter_grade(Name, LetterGrade)).

% 示例调用
add_multiple_students_and_calculate_grades :-
  Students = [
    ['John Doe', 95, 88, 78, 85, 92, 89],
    ['Alice Smith', 87, 91, 79, 93, 88, 90],
    ['Bob Johnson', 76, 82, 85, 78, 80, 85]
  ],
  add_students(Students),
  forall(member([Name | _], Students), calculate_final_grade(Name, _)),
  forall(member([Name | _], Students), calculate_letter_grade(Name, _)).

验证步骤 #

1. 把修复后的代码加载到Prolog环境（比如SWI-Prolog）。
2. 在交互提示符输入add_multiple_students_and_calculate_grades.并回车，执行数据添加和计算。
3. 查询数据库验证：
   • 输入student_grades('John Doe', _, _, _, _, _, _).，应该能看到John的成绩数据。
   • 输入final_grade('Alice Smith', G).，会返回她的最终成绩。
   • 输入letter_grade('Bob Johnson', L).，会返回对应的字母等级。

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