Turbo Prolog: Предикат нахождения множества, которое получается в результате действий над множествами

@Gespo · Регистрация: 02.12.2012

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

Помогите, пожалуйста с задачей: Создать предикат нахождения множества, которое получается в результате
выполнения следующих действий над тремя множествами: $https://www.cyberforum.ru/cgi-bin/latex.cgi?A \bigcap B - C$

@Catstail · 24.01.2015, 17:57

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
domains
int=integer
intl=int*
 
predicates
memb(int,intl)
diffsets(intl,intl,intl)
intersect(intl,intl,intl)
task(intl,intl,intl,intl)
 
clauses
memb(_,[]) :- fail.
memb(H,[H|_]) :- !.
memb(H,[X|T]) :- H<>X, memb(H,T).
 
diffsets([],_,[]).
diffsets([H|T],Z,[H|Q]) :- not(memb(H,Z)), diffsets(T,Z,Q).
diffsets([H|T],Z,Q) :- memb(H,Z), diffsets(T,Z,Q).
 
intersect([],_,[]).
intersect([H|T],Z,[H|Q]) :- memb(H,Z), intersect(T,Z,Q).
intersect([H|T],Z,Q) :- not(memb(H,Z)), intersect(T,Z,Q).
 
task(A,B,C,R) :- intersect(A,B,AB), diffsets(AB,C,R).

@Gespo · 24.01.2015, 20:45 **[ТС]**

Огромное спасибо!!!

Добавлено через 9 минут
извините за глупый вопрос, но как программу протестировать? какие значения для теста писать в "Goal: " ?

@Mikle71 · 24.05.2015, 12:21

Здравствуйте! помогите пожалуйста!
задача по типу этой... Создайте предикат нахождения множества, которое получается в результате выполнения следующих действий над тремя множествами $https://www.cyberforum.ru/cgi-bin/latex.cgi?A-B\bigcap C$

@Catstail · 24.05.2015, 13:20

Нетрудно сообразить, что нужно заменить последнюю строку:

Prolog
1
task(A,B,C,R) :- intersect(B,C,BC), diffsets(A,BC,R).

@Mikle71 · 24.05.2015, 14:13

спасибо Огромное!!!

@Mikle71 · 27.05.2015, 17:50

тут тоже указывает на ошибку 423 ',' or ',' на :-

Добавлено через 7 минут
всё разобрался)

Добавлено через 19 часов 37 минут
что то я уже совсем запутался в этом языке)) с площадью всё понял, спасибо помогли, а здесь у нас действительно что в goal прописывать для тестирования программы?

Новые блоги и статьи Все статьи Все блоги /
Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .	Модель микоризы: классовый агентный подход anaschu 02.01.2026 Раньше это было два гриба и бактерия. Теперь три гриба, растение. И на уровне агентов добавится между грибами или бактериями взаимодействий. До того я пробовал подход через многомерные массивы,. . .	Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Programma_Boinc 28.12.2025 Советы по крайней бережливости. Внимание, это ОЧЕНЬ длинный пост. Налог на собак: https:/ / ********/ gallery/ V06K53e Финансовый отчет в Excel: https:/ / ********/ gallery/ bKBkQFf Пост отсюда. . .	Кто-нибудь знает, где можно бесплатно получить настольный компьютер или ноутбук? США. Programma_Boinc 26.12.2025 Нашел на реддите интересную статью под названием Anyone know where to get a free Desktop or Laptop? Ниже её машинный перевод. После долгих разбирательств я наконец-то вернула себе. . .	Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Рецензия / Мнение/ Перевод Нашел на реддите интересную статью под названием The Thinkpad X220 Tablet is the best budget school laptop period . Ниже её машинный перевод. Thinkpad X220 Tablet —. . .
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .

@Gespo 0 / 0 / 0 Регистрация: 02.12.2012 Сообщений: 25

	Turbo Prolog: Предикат нахождения множества, которое получается в результате действий над множествами 24.01.2015, 14:06. Показов 1763. Ответов 6 Метки нет (Все метки) Помогите, пожалуйста с задачей: Создать предикат нахождения множества, которое получается в результате выполнения следующих действий над тремя множествами: $https://www.cyberforum.ru/cgi-bin/latex.cgi?A \bigcap B - C$ 0

@Gespo 0 / 0 / 0 Регистрация: 02.12.2012 Сообщений: 25
	24.01.2015, 20:45 [ТС]
	Огромное спасибо!!! Добавлено через 9 минут извините за глупый вопрос, но как программу протестировать? какие значения для теста писать в "Goal: " ? 0

@Mikle71 0 / 0 / 0 Регистрация: 24.05.2015 Сообщений: 6
	24.05.2015, 12:21
	Здравствуйте! помогите пожалуйста! задача по типу этой... Создайте предикат нахождения множества, которое получается в результате выполнения следующих действий над тремя множествами $https://www.cyberforum.ru/cgi-bin/latex.cgi?A-B\bigcap C$ 0

@Mikle71 0 / 0 / 0 Регистрация: 24.05.2015 Сообщений: 6
	24.05.2015, 14:13
	спасибо Огромное!!! 0

@Mikle71 0 / 0 / 0 Регистрация: 24.05.2015 Сообщений: 6
	27.05.2015, 17:50
	тут тоже указывает на ошибку 423 ',' or ',' на :- Добавлено через 7 минут всё разобрался) Добавлено через 19 часов 37 минут что то я уже совсем запутался в этом языке)) с площадью всё понял, спасибо помогли, а здесь у нас действительно что в goal прописывать для тестирования программы? 0