主页 / 问题 / 590914
Accepted
Gadget
Asked:2020-11-15 00:05:43 +0000 UTC2020-11-15 00:05:43 +0000 UTC

你能帮我弄清楚 Prolog 代码中的错误是什么吗？

  • 772

一个任务

  1. 在 Prolog 中描述包含以下事实的知识库“俄罗斯统治者”：

    • 智者雅罗斯拉夫从 1019 年统治到 1054 年，
    • 伊贾斯拉夫一世从 1054 年统治到 1077 年，
    • 弗谢沃洛德一世从 1078 年统治到 1093 年，
    • Svyatopolk II 从 1092 年统治到 1112 年，
    • 弗拉基米尔·莫诺马赫 (Vladimir Monomakh) 在位时间为 1113 年至 1125 年，
    • Mstislav the Great 从 1125 年统治到 1132 年。
  2. 在知识库“俄罗斯统治者”中添加一条定义“Y 年大公”概念的规则，这将确定任意 Y 年俄罗斯统治者的名字。
  3. 在知识库“俄罗斯的统治者”中添加规则“从 X 年到 Y 年统治”，它允许您显示从 X 年到 Y 年（含）期间统治俄罗斯的所有人员。
  4. 形式目标：
    • 从 1050 年到 1080 年谁统治了俄罗斯？
    • 谁是 1092 年的大公？

解决方案 

predicates
  nondeterm pravil(string,integer,integer) /*name,beginn,end*/
  nondeterm pravitel(string,integer) /*name,year*/

clauses
  pravil(yaroslavmudryiy,1019,1054).
  pravil(izyaslavpervyiy,1054,1077).
  pravil(vsevolodpervyiy,1078,1093).
  pravil(svyatopolkvtoroy,1092,1112).
  pravil(vladimirmonomah,1113,1125).
  pravil(mstislavvelikiy,1125,1132).

  pravitel(X,Y):-pravil(X,A,B),Y>=A,Y=<B. 

goal
  pravitel(Y,1092), write(Y), nl.

你能帮我弄清楚 Prolog 代码中的错误是什么（我使用 Visual Prolog v 5.2）吗？

E; Test_Goal, pos: 398, 409 语法错误

prolog

2 个回答

  1. Best Answer

    这是让我跑步的原因：

    predicates
  nondeterm pravil(string,integer,integer) /*name,beginning,ending*/
  nondeterm pravitel(string,integer) /*name,year*/
  nondeterm praviteli(string,integer,integer)/*name,year,year*/
clauses
%Facts
  /* #1 Baza znanyi "Praviteli" */
  pravil(yaroslav_mudryiy,1019,1054).
  pravil(izyaslav_pervyiy,1054,1077).
  pravil(vsevolod_pervyiy,1078,1093).
  pravil(svyatopolk_vtoroy,1092,1112).
  pravil(vladimir_monomah,1113,1125).
  pravil(mstislav_velikiy,1125,1132).
%Rules
  /* #2 Velikiy knyaz v godu Y*/
  pravitel(X,Y):-pravil(X,A,B),Y>=A,Y<=B. 
  /* #3 Praviteli Rossii s goda X po god Y*/
  praviteli(P,X,Y):-pravil(P,A,B) , X<=A, X<=B,Y>=A, Y<=B. 
  praviteli(P,X,Y):-pravil(P,A,B) , X<=A, X<=B,Y>=A, Y>=B. 
  praviteli(P,X,Y):-pravil(P,A,B) , X>=A , Y>=B.
goal
/* #1 Kto pravil Rossiey s 1050 po 1080?*/
 praviteli(X,1050,1080), write(X), nl,

/* #2 Kto byil velikim knyazem v 1092 godu?*/ 
 pravitel(Y,1092), write(Y), nl.
    • 2

  2. 它似乎工作得很好：

    http://ideone.com/Yvh21k

    pravil(yaroslavmudryiy,1019,1054).
pravil(izyaslavpervyiy,1054,1077).
pravil(vsevolodpervyiy,1078,1093).
pravil(svyatopolkvtoroy,1092,1112).
pravil(vladimirmonomah,1113,1125).
pravil(mstislavvelikiy,1125,1132).

pravitel(X,Y) :- pravil(X,A,B),Y>=A,Y=<B. 

solve(Y) :-
 pravitel(X,Y),
 write(X),
 nl,
 fail.

    solve(1092).
    • -1

相关问题