Не запускается пример программы с интуита на visual prologe 7.4

Узнай цену своей работы

Формулировка задачи:

Листинг программы 
  1. open core, console, string, list
  2.  
  3. class facts - db
  4.     rule: (positive, string, string, positive*).
  5.     cond: (positive, string, string).
  6.     topic: (string).
  7.  
  8. class facts
  9.     answer: (positive, integer).
  10.  
  11. class predicates
  12.     expert: (string).
  13.     ask: (positive, positive*) determ.
  14.     ask: (integer, positive, positive*) determ.
  15.     explanation: (positive).
  16.     getAnswer: () -> integer.
  17.     getAnswer: (char) -> integer determ.
  18.     correct: (positive*) determ.
  19. clauses
  20.     expert(Topic):-
  21.         rule(K, Topic, Goal, QList),
  22.         ask(K, QList),
  23.         correct(QList),
  24.         !,
  25.         writef("Заключение: % - %.", Topic, Goal).
  26.     expert(Topic):-
  27.         writef("Не хватает сведений, чтобы определить %.", Topic).
  28.  
  29.     ask(_, [N | _]):-
  30.         answer(N, 0),     % если признак отсутствует,
  31.         !,     % то это животное не подходит
  32.         fail.
  33.     ask(K, [N | QList]):-
  34.         answer(N, 1),    % если признак присутствует,
  35.         !,      % то следующий вопрос
  36.         ask(K, QList).
  37.     ask(K, [N | QList]):-
  38.         cond(N, X, Y),     % задается вопрос о признаке
  39.         writef("Верно ли, что % - %? (да/нет/?): > ", X, Y),
  40.         A = getAnswer(),    % ответ от пользователя
  41.         !,
  42.         ask(A, K, [N | QList]).   % реакция на ответ
  43.     ask(_, []).
  44.  
  45.     ask(2, K, QList):- !,    % если введен знак ?, то
  46.         explanation(K),     % выдается объяснение,
  47.         ask(K, QList).     % опрос продолжается
  48.     ask(A, _, [N | _]):-
  49.         assert(answer(N, A)),   % ответ запоминается в БД
  50.         fail.
  51.     ask(1, K, [_ | QList]):-     % если ответ положительный,
  52.         ask(K, QList).     % то опрос продолжается
  53.  
  54.     explanation(K):-
  55.         rule(K, Topic, Goal, QList),
  56.         writef("Проверяется гипотеза, что % - %. Это так, если\n",
  57.             Topic, Goal),
  58.         F = {(I):- cond(I, X, Y), !, writef("\t% - %\n", X, Y); succeed},
  59.         forAll(QList, F),
  60.         L = [N || answer(N, 1), isMember(N, QList)],
  61.         L <> [],
  62.         !,
  63.         write("Известно, что\n"),
  64.         forAll(L, F).
  65.     explanation(_).
  66.  
  67.     correct(QList):-
  68.         answer(N, 1),      % если есть признак,
  69.         not(isMember(N, QList)),     % которого не должно быть,
  70.         !,      % то животное не подходит
  71.         fail;
  72.         succeed().
  73.  
  74.     getAnswer() = R:-
  75.         S = frontChar(toLowerCase(trim(readLine()))),
  76.         R = getAnswer(S),
  77.         !.
  78.     getAnswer() = 0.
  79.  
  80.     getAnswer(S) = 1:-       % положительный ответ
  81.         (S = 'д'; S = 'y'; S = 'l'),     % не зависит от раскладки
  82.         !.
  83.     getAnswer('?') = 2.
  84.  
  85.     run():-
  86.         file::consult("base.txt", db),
  87.         topic(Topic),
  88.         expert(Topic),
  89.         !,
  90.         _ = readLine();
  91.         succeed().
база вот
Листинг программы 
  1. clauses
  2.     rule(1, "чудовище", "грифон", [1, 6, 12, 18]).
  3.     rule(2, "чудовище", "дракон", [1, 4, 15, 19]).
  4.     rule(3, "чудовище", "единорог", [1, 5, 2, 7, 9, 11, 16]).
  5.     rule(4, "чудовище", "сатир", [2, 8, 10, 14, 17]).
  6.     rule(5, "чудовище", "сфинкс", [3, 13, 18]).
  7.  
  8.     cond(1, "чудовище", "крылатое").
  9.     cond(2, "чудовище", "рогатое").
  10.     cond(3, "чудовище", "без крыльев и рогов").
  11.     cond(4, "форма крыльев", "летучей мыши").
  12.     cond(5, "форма крыльев", "лебединые").
  13.     cond(6, "форма крыльев", "орлиные").
  14.     cond(7, "форма рогов", "прямые").
  15.     cond(8, "форма рогов", "изогнутые").
  16.     cond(9, "количество рогов", "1").
  17.     cond(10, "количество рогов", "2").
  18.     cond(11, "голова", "лошадиная").
  19.     cond(12, "голова", "орлиная").
  20.     cond(13, "голова", "человечья").
  21.     cond(14, "голова", "обезьянья").
  22.     cond(15, "голова", "крокодилья").
  23.     cond(16, "туловище", "лошадиное").
  24.     cond(17, "туловище", "козлиное").
  25.     cond(18, "туловище", "львиное").
  26.     cond(19, "туловище", "змеиное").
  27.  
  28.     topic("чудовище").
Вот ссылка на страницу откуда брал листинг программы -http://www.intuit.ru/studies/courses/12333/1180/lecture/19984?page=1 ,Компилятор ругается на самую первую строку open core, console, string, list конкретно на слово open ,можете помочь ,я только начал изучение этого языка,заранее благодарю!
так же не могу запустить и следующую программу с интуита про задачу энштейна ,ругается аналогично на open

Решение задачи: «Не запускается пример программы с интуита на visual prologe 7.4»

textual
Листинг программы 
  1. /*****************************************************************************
  2.  
  3.                         Copyright (c) 2015 My Company
  4.  
  5. ******************************************************************************/
  6. implement main
  7.     open core
  8. class facts - relatives
  9.     parent: (string Родитель, string Ребенок).
  10.     spouse: (string Муж, string Жена).
  11.     male: (string).
  12.     female: (string).
  13. class predicates
  14.     father: (string Отец, string Ребенок) nondeterm anyflow.
  15.     mother: (string Мать, string Ребенок) nondeterm (o,o).
  16. clauses
  17. father(X, Y):-
  18.         parent(X, Y),
  19.         male(X).
  20.  
  21.     mother(X, Y):-
  22.         parent(X, Y),
  23.         female(X).
  24.  
  25.     run():-
  26.         console::init(),
  27.         file::consult("base.txt", relatives),
  28.         father(X, Y),
  29.            console:: write("отец - ", X, ", ребенок - ", Y), console:: nl,
  30.         fail;
  31.         mother(X, Y),
  32.            console::  write("мать - ", X, ", ребенок - ", Y), console:: nl,
  33.         fail;
  34.         if father("Иван", "Петр") then
  35.           console::   write("\nИван является отцом Петра")
  36.         else
  37.            console::  write("\nИван не является отцом Петра")
  38.         end if,
  39.    %     if father("Иван", Y) then
  40.     %      console::   write("\n Иван является отцом" ,Y) , fail,console:: nl
  41.   %      else
  42.    %        console::  write("\nИван не является отцом",Y),fail,console:: nl
  43.      %   end if,
  44.           male(X),
  45.            console::  write("Мужчина - ", X ), console:: nl,
  46.         fail;
  47.              female(X),
  48.            console::  write("Женщина - ", X ), console:: nl,
  49.         fail;
  50.  
  51.         _ = console:: readLine().
  52.  
  53.  
  54. end implement main
  55.  
  56. goal
  57.     mainExe::run(main::run).

ИИ поможет Вам:

  • решить любую задачу по программированию
  • объяснить код
  • расставить комментарии в коде
  • и т.д
Попробуйте бесплатно

Оцени полезность:

9   голосов , оценка 4.222 из 5

Нужна аналогичная работа?

Оформи быстрый заказ и узнай стоимость

Бесплатно
Оформите заказ и авторы начнут откликаться уже через 10 минут