Разбор алгоритма для поиска однофамильцев

@Alekssey · Регистрация: 11.12.2010

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

Разъясните пожалуйста алгоритм работы программы:

Prolog
1
2
3
4
5
6
7
8
9
10
11
  database student(string,string)
predicates vvod 
nondeterm samesurname
goal vvod,samesurname.
clauses
vvod:-
write("Фамилия:"),readln(F),F<>"",
write("Имя:"),readln(N),
assert(student (F,N)),!,vvod.
vvod.
samesurname:-student(F,N1),student(F,N2),N1<>N2,write(" Однофамильцы: ",F).

Почему в последней строчке сравниваются имена, а не фамилии?

@Грымзик · 18.12.2011, 16:55

Заметили, что в student(F,N1),student(F,N2) не F1 и F2, а F и там и там? Это и значит, что фамилии совпадают. Но, помимо действительно однофамильцев, у любого человека фамилия будет совпадать с самим собой. И вот, что бы этого не было, и сравнивается, чтобы имена различались.

@Alekssey · 18.12.2011, 16:59 **[ТС]**

А для чего 2 раза vvod.

@Грымзик · 18.12.2011, 17:12

Это рекурсия. Считываешь данные одного студента. Если они удачно считаны, то рекурсивно считываешь данные другого. А если неудачно считаны, то вызывается второе правило (просто vvod.), и работа предиката успешно завершается.

@Alekssey · 18.12.2011, 17:19 **[ТС]**

что означает nondeterm?

@freest · 18.12.2011, 17:43

не определен

Новые блоги и статьи Все статьи Все блоги /
Воспроизведение звукового файла с помощью SDL3_mixer при касании экрана Android 8Observer8 26.01.2026 Содержание блога SDL3_mixer - это библиотека я для воспроизведения аудио. В отличие от инструкции по добавлению текста код по проигрыванию звука уже содержится в шаблоне примера. Нужно только. . .	Установка Android SDK, NDK, JDK, CMake и т.д. 8Observer8 25.01.2026 Содержание блога Перейдите по ссылке: https:/ / developer. android. com/ studio и в самом низу страницы кликните по архиву "commandlinetools-win-xxxxxx_latest. zip" Извлеките архив и вы увидите. . .	Вывод текста со шрифтом TTF на Android с помощью библиотеки SDL3_ttf 8Observer8 25.01.2026 Содержание блога Если у вас не установлены Android SDK, NDK, JDK, и т. д. то сделайте это по следующей инструкции: Установка Android SDK, NDK, JDK, CMake и т. д. Сборка примера Скачайте. . .	Использование SDL3-callbacks вместо функции main() на Android, Desktop и WebAssembly 8Observer8 24.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
моя боль iceja 24.01.2026 Выложила интерполяцию кубическими сплайнами www. iceja. net REST сервисы временно не работают, только через Web. Написала за 56 рабочих часов этот сайт с нуля. При помощи perplexity. ai PRO , при. . .	Модель сукцессии микоризы anaschu 24.01.2026 Решили писать научную статью с неким РОманом	http://iceja.net/ математические сервисы iceja 20.01.2026 Обновила свой сайт http:/ / iceja. net/ , приделала Fast Fourier Transform экстраполяцию сигналов. Однако предсказывает далеко не каждый сигнал (см ограничения http:/ / iceja. net/ fourier/ docs ). Также. . .	http://iceja.net/ сервер решения полиномов iceja 18.01.2026 Выкатила http:/ / iceja. net/ сервер решения полиномов (находит действительные корни полиномов методом Штурма). На сайте документация по API, но скажу прямо VPS слабенький и 200 000 полиномов. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	18.12.2011, 16:55
	Заметили, что в student(F,N1),student(F,N2) не F1 и F2, а F и там и там? Это и значит, что фамилии совпадают. Но, помимо действительно однофамильцев, у любого человека фамилия будет совпадать с самим собой. И вот, что бы этого не было, и сравнивается, чтобы имена различались. 0

@Alekssey 2 / 2 / 1 Регистрация: 11.12.2010 Сообщений: 59
	18.12.2011, 16:59 [ТС]
	А для чего 2 раза vvod. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	18.12.2011, 17:12
	Это рекурсия. Считываешь данные одного студента. Если они удачно считаны, то рекурсивно считываешь данные другого. А если неудачно считаны, то вызывается второе правило (просто vvod.), и работа предиката успешно завершается. 1

@Alekssey 2 / 2 / 1 Регистрация: 11.12.2010 Сообщений: 59
	18.12.2011, 17:19 [ТС]
	что означает nondeterm? 0

@freest Українець 424 / 318 / 16 Регистрация: 26.09.2009 Сообщений: 844
	18.12.2011, 17:43
	не определен 0