Вопросы по теме '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 просмотров

Как избежать предупреждения мета-аргумента в 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 просмотров

Пролог гарантирует, что возвращаемые параметры правила уникальны и находятся в каноническом порядке.
У меня есть некоторые данные, объявленные в файле 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