not() и свободные переменные

@OLMER · Регистрация: 28.05.2010

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

Есть предикат br_sist(родственник1, родственник2), который отвечает за связь - являются ли два человека братом или сестрой.
Необходимо в предикат, скажем, nosist(A), занести людей, которые не являются братьями/сёстрами.
Не совсем понимаю, почему не работает такая конструкция:
nosist(A):-
not(br_sist(A,_)).

В итоге "Free variable are not allowed in 'not' or 'retractall'".
Гуглил, нашёл вот такой ПРАВИЛЬНЫЙ пример работы:

Prolog
1
2
3
likes(bill,Anyone):-    % Anyone - выходной аргумент 
      likes(sue,Anyone), 
      not(hates(bill,Anyone).

, но абсолютно не въехал. И не совсем понимаю как быть в моей ситуации

@Грымзик · 21.02.2012, 21:07

Потому что условию not(br_sist(A,_)) будет удовлятворять что угодно: А="a",A="1",A="fdfd" и т.д. Откуда программе брать правильные ответы? Поэтому надо так
nosist(A):-girl(A),not(br_sist(A,_)).
И иметь базу фактов
girl("Лена").
...

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Рисуем цветные прямоугольники с помощью рисовальщика SDL3 на Си и C++ 8Observer8 17.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-rectangles-sdl3-c. zip finish-rectangles-sdl3-cpp. zip	Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая ссылка» (hard link),. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью
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-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	21.02.2012, 21:07
	Потому что условию not(br_sist(A,_)) будет удовлятворять что угодно: А="a",A="1",A="fdfd" и т.д. Откуда программе брать правильные ответы? Поэтому надо так nosist(A):-girl(A),not(br_sist(A,_)). И иметь базу фактов girl("Лена"). ... 1