объяснить код

@ds vp · Регистрация: 04.12.2014

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

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
domains         %раздел доменов
 
   name = string    %название судна
   type = string    %тип (сухогруз, танкер, паром и т.д.) 
   port = string    %порт приписки
   vodoiz = integer %водоизмещение
   max_v = integer  %максимальная скорость (в узлах)
   tech_har =  tech_har(vodoiz, max_v)  %технические характеристики (структурированный домен)
   kolvo_pers = integer %количество обслуживающего персонала (чел); 
   ocean = string   %местонахождение в данный момент 
 
predicates      %Описание предикатов
 
   nondeterm ship (name, type, port, tech_har, kolvo_pers, ocean)   %предикат, содержащий сведения о морском судне
   nondeterm ship_name
 
goal            %раздел целей
 
   write("По названию судна напечатать его тип и местонахождения в данный момент"),
   ship_name, readchar(_).
 
clauses         %раздел предложений
 
   %набор фактов (около 20), содержащий данные сведения
   ship("Капитан Рокотов", "сухогруз", "Абакан", tech_har(50, 34), 50, "Тихий").
   ship("Капитан Сухов", "сухогруз", "Абакан", tech_har(70, 23), 20, "Тихий").
   ship("Капитан Перов", "ледокол", "Владивосток", tech_har(100, 34), 14, "Атлантический").
   ship("Капитан Акимов", "контейнеровоз", "Абакан", tech_har(70, 57), 65, "Индийский").
   ship("Николай Гоголь", "пассажирский", "Санкт-Петербург", tech_har(95, 36), 40, "Атлантический").
   ship("Ермак", "ледокол", "Владивосток", tech_har(35, 40), 30, "Северный Ледовитый").
   ship("Ленин", "ледокол", "Абакан", tech_har(67, 32), 20, "Тихий").
   ship("Комсомол", "танкер", "Санкт-Петербург", tech_har(45, 34), 40, "Атлантический").
   ship("20 съезд", "сухогруз", "Владивосток", tech_har(38, 34), 20, "Атлантический").
   ship("Энгельс", "паром", "Находка", tech_har(80, 67), 30, "Тихий").
   ship("Белый бриз", "сухогруз", "Находка", tech_har(90, 45), 30, "Атлантический").
   ship("Украина", "танкер", "Находка", tech_har(40, 48), 40, "Атлантический").
   ship("Норильск", "ледокол", "Владивосток", tech_har(57, 38), 50, "Тихий").
   ship("Лейтенант Шмидт", "сухогруз", "Находка", tech_har(59, 34), 50, "Атлантический").
   ship("Лев Толстой", "танкер", "Владивосток", tech_har(69, 34), 45, "Индийский").
   ship("Николай Седов", "ледокол", "Владивосток", tech_har(48, 26), 60, "Атлантический").
   ship("Родина", "паром", "Севастополь", tech_har(79, 56), 50, "Тихий").
   ship("Радуга", "паром", "Севастополь", tech_har(45, 60), 30, "Атлантический").
   ship("Московия", "пассажирский", "Севастополь", tech_har(100, 50), 50, "Тихий").
 
   %по названию судна напечатать его тип и местонахождения в данный момент; 
   ship_name:-  
    write("\nНазвание судна: "), readln(X), 
    ship(X, Y, _, _, _, C),
    write("Тип: ", Y, ". \nМестонахождение: ", C, "\n").

ship(X, Y, _, _, _, C) - очень интересует что эта функция выполняет. заранее спасибо, край скорее надо знать!(
и вообще объяснить как полному чайнику на пальцах что откуда берется ( суть я улавливаю ) надо преподавалелю код объяснить. чтоб знать будто сам делал. Заранее спасибо большое!!

@Black Fregat · 04.12.2014, 11:25

Сообщение от ds vp

ship(X, Y, _, _, _, C) - очень интересует что эта функция выполняет

Поскольку X - связанная переменная, а остальные - свободные, Пролог ищет в базе первый факт ship с заданным X и по нему связывает Y и C. Если произойдёт откат, будет искать второй такой факт и далее, пока не переберет всю базу. Если в какой-то момент такого факта не найдётся, предикат завершится неуспехом.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Реализация движения на Box2D v3 - трение и коллизии с повёрнутыми стенами 8Observer8 20.02.2026 Содержание блога Box2D позволяет легко создать главного героя, который не проходит сквозь стены и перемещается с заданным трением о препятствия, которые можно располагать под углом, как верхнее. . .	Конвертировать закладки radiotray-ng в m3u-плейлист damix 19.02.2026 Это можно сделать скриптом для PowerShell. Использование . \СonvertRadiotrayToM3U. ps1 <path_to_bookmarks. json> Рядом с файлом bookmarks. json появится файл bookmarks. m3u с результатом. # Check if. . .	Семь CDC на одном интерфейсе: 5 U[S]ARTов, 1 CAN и 1 SSI Eddy_Em 18.02.2026 Постепенно допиливаю свою "многоинтерфейсную плату". Выглядит вот так: https:/ / www. cyberforum. ru/ blog_attachment. php?attachmentid=11617&stc=1&d=1771445347 Основана на STM32F303RBT6. На борту пять. . .	Камера Toupcam IUA500KMA Eddy_Em 12.02.2026 Т. к. у всяких "хикроботов" слишком уж мелкий пиксель, для подсмотра в ESPriF они вообще плохо годятся: уже 14 величину можно рассмотреть еле-еле лишь на экспозициях под 3 секунды (а то и больше),. . .
И ясному Солнцу zbw 12.02.2026 И ясному Солнцу, и светлой Луне. В мире покоя нет и люди не могут жить в тишине. А жить им немного лет.	«Знание-Сила» zbw 12.02.2026 «Знание-Сила» «Время-Деньги» «Деньги -Пуля»	SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .