Очень нужно осознать, в чем ошибка в коде на Prolog?

@_Katana_ · Регистрация: 18.08.2016

Студворк — интернет-сервис помощи студентам

Задача состоит в следующем:
1. Описать на Прологе базу знаний «Правители России», содержащую следующие факты:
-Ярослав Мудрый правил с 1019 по 1054 годы,
-Изяслав первый правил с 1054 по 1077 годы,
-Всеволод первый правил с 1078 по 1093 годы,
-Святополк Второй правил с 1092 по 1112 годы,
-Владимир Мономах правил с 1113 по 1125 годы,
-Мстислав Великий правил с 1125 по 1132 годы.
2. Добавить к базе знаний «Правители России» правило, определяющее понятие «Великий князь в году Y», которое определяло бы имя правителя России в произвольном году Y.
3. Добавить к базе знаний «Правители России» правило «Правили с года X по год Y», позволяющее вывести всех, кто правил Россией в период с года X до года Y включительно.
3. Сформировать цели:
-Кто правил Россией с 1050 по 1080 годы?
-Кто был Великим князем в 1092 году?

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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.

Добавлено через 1 час 55 минут
Visual Prolog

Добавлено через 7 часов 11 минут
ошибку поняла.

@Catstail · 16.11.2016, 12:37

Сообщение от _Katana_

ошибку поняла.

- расскажи другим. Может пригодиться кому-то.

Новые блоги и статьи Все статьи Все блоги /
BOINC: 22 года — и всё ещё работает Programma_Boinc 12.03.2026 BOINC: 22 года — и всё ещё работает Дэвид Андерсон написал ретроспективу. Кратко: в 2001 году он ушёл из United Devices, где был CTO, и за несколько месяцев написал ядро BOINC — клиент, сервер,. . .	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .
Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .