Ошибка " The free variable in 'findall' can only be used inside 'findall' " при использовании функции findall

@TryToRealize · Регистрация: 30.05.2021

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

Вот полный код программы:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
domains
  
facts
  doctor(string, string, integer, integer)
 
predicates
 
  timeOfWork(string)
 
clauses
 
  doctor("Ivanov", "Friday", 13, 14).
  doctor("Ivanov", "Wednesday", 13, 14).
  doctor("Ivanov", "Sunday", 13, 14).
  doctor("Sokolov", "Tuseday", 13, 15).
 
  timeOfWork(NAME):- findall(NAME, doctor(NAME, _, _, _), RES).
 
goal
 
  timeOfWork("Ivanov").

в итоге выдает ошибку:

Code
1
E;Test_Goal, pos: 615, 428 The free variable in 'findall' can only be used inside 'findall' NAME

Я новичок в visual prolog, не понимаю, что он от меня хочет.
Для справки - я пытаюсь найти в базе фактов все элементы, у которых первое поле равняется "Ivanov".

@arlat · 16.01.2023, 20:13

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
domains
  
facts
  doctor(string, string, integer, integer)
 
predicates
  timeOfWork(string, string*)
 
clauses
  doctor("Ivanov", "Friday", 13, 14).
  doctor("Ivanov", "Wednesday", 13, 14).
  doctor("Ivanov", "Sunday", 13, 14).
  doctor("Sokolov", "Tuseday", 13, 15).
 
  timeOfWork(NAME, RES):- findall(Day, doctor(NAME, Day, _, _), RES).
 
goal
  timeOfWork("Ivanov").

Не пройдет, значит надо дальше менять, поскольку visual prolog имеет свои особенности...
Может

Prolog
1
timeOfWork(InNAME, RES):- findall(Day, (doctor(NAME, Day, _, _), NAME = InNAME), RES).

Новые блоги и статьи Все статьи Все блоги /
Архитектура слоя интернета для сервера-слоя. Hrethgir 11.04.2026 В продолжение https:/ / www. cyberforum. ru/ blogs/ 223907/ 10860. html Знаешь что я подумал? Раз мы все источники пишем в голове ветки, то ничего не мешает добавить в голову такой источник, который сам. . .	Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .	модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI
Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .	Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .