Истинно, если для каждого истинного значения факта истинен и другой факт.

Я пробовал это как hello, но я думаю, что это не работает.

kng_bck(1).
kng_bck(2).
kng_bck(3).

:- dynamic(p/1).

hello :- kng_bck(X), p(X).

% true if p(1). p(2). and p(3). are all defined, 
% that is for every true value of kng_bck(X), p(X) is
also true.
Формы c голосовым вводом в React с помощью Speechly
Формы c голосовым вводом в React с помощью Speechly
Пытались ли вы когда-нибудь заполнить веб-форму в области электронной коммерции, которая требует много кликов и выбора? Вас попросят заполнить дату,...
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Будучи разработчиком веб-приложений, легко впасть в заблуждение, считая, что приложение без JavaScript не имеет права на жизнь. Нам становится удобно...
Flatpickr: простой модуль календаря для вашего приложения на React
Flatpickr: простой модуль календаря для вашего приложения на React
Если вы ищете пакет для быстрой интеграции календаря с выбором даты в ваше приложения, то библиотека Flatpickr отлично справится с этой задачей....
В чем разница между Promise и Observable?
В чем разница между Promise и Observable?
Разберитесь в этом вопросе, и вы значительно повысите уровень своей компетенции.
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Клиент для URL-адресов, cURL, позволяет взаимодействовать с множеством различных серверов по множеству различных протоколов с синтаксисом URL.
Четыре эффективных способа центрирования блочных элементов в CSS
Четыре эффективных способа центрирования блочных элементов в CSS
У каждого из нас бывали случаи, когда нам нужно отцентрировать блочный элемент, но мы не знаем, как это сделать. Даже если мы реализуем какой-то...
0
0
35
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Вместо этого попробуйте использовать следующее определение hello:

hello :- \+ (kng_bck(X), \+ p(X)).

Затем следующий запрос должен вернуть true:

?- assert(p(1)), assert(p(2)), assert(p(3)), hello.

\+/1 истинно, когда цель не может быть доказана, поэтому это определение hello проверяет наличие нет ситуации, когда «kng_bck(X) и нетp(X)».


Обновление на основе отзывов в комментариях:

Вы также можете добиться этого, используя Форалл/2. Пример:

?- assert(p(1)), assert(p(2)), assert(p(3)), forall(kng_bck(X), p(X)).

Я думаю, что есть и forall, который решил мою проблему, можете ли вы включить это в свой ответ.

eguneys 17.05.2022 12:40

Другие вопросы по теме