Вопросы по теме 'prolog-setof'
Рекурсия Prolog пропускает те же результаты
Мой код работает, но проблема в том, что он показывает одни и те же результаты более одного раза. Вот мой код:
disease(hiv,[sore_throat,headache,fever,rash]).
disease(pregnancy,[fatigue,vomiting,light_headedness,increased_waistline])....
932 просмотров
schedule
29.06.2022
Не повторяйте решения на Прологе
Предположим, у вас есть база данных со следующим содержимым:
son(a, d).
son(b, d).
son(a, c).
son(b, c).
Итак, a и b являются сыновьями d и c. Теперь вы хотите знать, учитывая большую базу данных, кто кому брат. Решение будет:...
9740 просмотров
schedule
19.04.2023
Проверить, является ли переменная пустой или заполненной
У меня есть следующая проблема:
программа пролога:
man(thomas, 2010).
man(leon, 2011).
man(thomas, 2012).
man(Man) :- once(man(Man, _).
проблема:
?- man(thomas).
true ; %i want only on true even if there are more "thomas"...
8382 просмотров
schedule
05.09.2022
Пролог Найти все предикаты
Я пытаюсь найти всех братьев человека.. Я создал следующее правило..
find_all_brothers(Z):- findall(X,brother(X,Z),X0),write(X0).
Однако это работает, если у человека более одного брата, он найдет только одного брата. Я предполагаю, что...
3166 просмотров
schedule
23.04.2023
Как избежать предупреждения мета-аргумента в SICStus SPIDER?
Вероятно, это связано с файлом comp.lang.prolog. -обсуждение .
Я получаю несколько подобных предупреждений, используя Eclipse с SICStus SPIDER:
The plain meta argument (Y) is passed as a closure argument
(with 0 suppressed arguments) to the...
71 просмотров
schedule
15.05.2023
Пролог гарантирует, что возвращаемые параметры правила уникальны и находятся в каноническом порядке.
У меня есть некоторые данные, объявленные в файле Prolog, которые выглядят следующим образом:
gen1(grass).
gen1(poison).
gen1(psychic).
gen1(bug).
gen1(rock).
...
gen1((poison, flying)).
gen1((ghost, poison)).
gen1((water, ice)).
......
75 просмотров
schedule
30.04.2022
setof с составным предикатом
Я борюсь с вопросом в задании с прологом.
Итак, у меня в прологе есть следующая база фактов:
student(name(doe, [john]), 33332, ['CSI1120'] ).
student(name(doe, [jane]), 33336, ['CSI1120'] ).
evaluation('CSI1120', homework(1), ['Prolog',...
123 просмотров
schedule
18.05.2022
setof создает много списков вместо одного пролога списка
У меня есть функция, которую я создал с помощью пролога, и по какой-то причине она всегда создает несколько списков для каждого элемента вместо одного списка, может ли кто-нибудь помочь мне с этим?
вот что я написал: (проблема в том, что последняя...
146 просмотров
schedule
18.11.2022
bagof/3 непредсказуем
Я озадачен следующими результатами. Я использую SWI-Пролог.
?- bagof(Q, (Q=A, (A=[a,_] ; A=[_,b])), X).
A = [_G16898, b],
X = [[_G16898, b]] ;
A = [a, _G16892],
X = [[a, _G16892]].
Обратите внимание, что [a,_] и [_,b] не объединены для...
120 просмотров
schedule
12.06.2023
setof / 3 внутри setof / 3 не работает, но почему?
Вдохновлен
Найдите общий элемент в разных фактах в swi-prolog
Хотел попробовать свои силы в «Операциях с СУБД на Прологе» (собственно, это более-менее Datalog)
Постановка задачи
Учитывая базу данных «актеров, снимающихся в кино»:...
51 просмотров
schedule
04.06.2022