Создайте предикат, реализующий пересечение множеств через разность. Из математики известно тождество A B=A\(A\B)

@vano13 · Регистрация: 20.11.2012

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

помогите пожалуйста с программой по турбопрологу. Буду Вам очень благодарен !

Добавлено через 4 минуты
в левой части между А и В стоит знак пересечения

@kostes · 07.12.2012, 20:11

всю голову сломал (((((
подскажите пожалуйста кто может и соображает как это реализовать
спасибо

@Грымзик · 07.12.2012, 22:00

Воспользуйтесь поиском, разность множеств не раз встречалась. А дальше остается только два раза применить. Если все-таки не получится, то выложите свои попытки это сделать.

@vano13 · 07.12.2012, 23:12 **[ТС]**

хорошо. спасибо !

Добавлено через 5 минут
вот мои наработки

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
        intlist = integer*
        
predicates
           minus(intlist, intlist, intlist)
           intersection2(intlist, intlist, intlist)
           member3(intlist, intlist)
 
 
clauses        
 
minus([],_,[]). 
minus([H|T],S2,S):-
              member3(H,S2), !,
                
              
              minus(T,S2,S). 
                
minus([H|T],S2,[H|S]):-
                  minus(T,S2,S). 
               
intersection2(A,B,S):-
            minus(A,B,A_B), 
            minus(A,A_B,S).

Добавлено через 29 секунд
не знаю как решить эту проблему (((((

@Грымзик · 07.12.2012, 23:18

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
25
26
27
28
29
domains
        intlist = integer*
        
predicates
           minus(intlist, intlist, intlist)
           intersection2(intlist, intlist, intlist)
           nondeterm member3(integer, intlist)
 
 
clauses        
member3(H,[H|_]).
member3(X,[_|T]):-member3(X,T).
 
minus([],_,[]). 
minus([H|T],S2,S):-
              member3(H,S2), !,
                
              
              minus(T,S2,S). 
                
minus([H|T],S2,[H|S]):-
                  minus(T,S2,S). 
               
intersection2(A,B,S):-
            minus(A,B,A_B), 
            minus(A,A_B,S). 
 
goal
intersection2([1,2,3,4,5],[5,3,1],Ans).

Новые блоги и статьи Все статьи Все блоги /
Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .	Программный отбор значений справочника Maks 21.03.2026 Установка программного отбора значений справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит предопределенное значение перечислений. Процедура. . .	Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .
Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .	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 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .

@vano13 0 / 0 / 0 Регистрация: 20.11.2012 Сообщений: 6

	Создайте предикат, реализующий пересечение множеств через разность. Из математики известно тождество A B=A\(A\B) 07.12.2012, 19:52. Показов 1453. Ответов 4 Метки нет (Все метки) помогите пожалуйста с программой по турбопрологу. Буду Вам очень благодарен ! Добавлено через 4 минуты в левой части между А и В стоит знак пересечения 0

@kostes 0 / 0 / 0 Регистрация: 25.11.2012 Сообщений: 5
	07.12.2012, 20:11
	всю голову сломал ((((( подскажите пожалуйста кто может и соображает как это реализовать спасибо 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	07.12.2012, 22:00
	Воспользуйтесь поиском, разность множеств не раз встречалась. А дальше остается только два раза применить. Если все-таки не получится, то выложите свои попытки это сделать. 0