Оператор декартова произведения

@chet · Регистрация: 28.04.2010

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

Определить операторы «ravno» и «><» и реализовать отношение:
L ravno X><Y ( ),

где X,Y – некоторые множества,
L – множество пар элементов, являющееся результатом декартова
произведения множеств X и Y.

Добавлено через 56 секунд
Декартовым произведением двух множеств X uY называется мно¬жество пар (х,у) таких, что х X, у Y. Обозначим это множество X × Y.

@Грымзик · 28.04.2010, 16:54

Prolog
1
2
3
4
5
6
7
:-op(110,xfx,ravno).
:-op(100,xfx,><).
 
 
[] ravno _><[].
[[A,B]|Tail] ravno [A]><[B|T]:-Tail ravno [A]><T.
Ans ravno [A|T]><B:- E ravno [A]><B, Tail ravno T><B, append(E,Tail,Ans).

?- A ravno [1,2,3]><[4,5].
A = [[1, 4], [1, 5], [2, 4], [2, 5], [3, 4], [3, 5]]

@chet · 28.04.2010, 22:40 **[ТС]**

не могли бы вы прокомментировать программу

@Грымзик · 29.04.2010, 14:38

[] ravno _><[]. Произведением любого множества с пустым множество будет пустым.
[[A,B]|Tail] ravno [A]><[B|T]:-Tail ravno [A]><T. Произведением множества, состоящего из одного элемента А с другим множеством, содержащим элемент В, будет пара (А,В) и произведение первого множества с оставшейся частью второго.
Ans ravno [A|T]><B:- E ravno [A]><B, Tail ravno T><B, append(E,Tail,Ans). Произведение любого множества с любым будет произведение одного элемента из первого множества со вторым множеством (получиться список пар Е), потом рекурсивное произведение оставшейся части первого множества со вторым и добавление к этому рекурсивному результату Е.

@bams · 29.04.2010, 23:00

а тут получается что мы приоритеты расставили?
:-op(110,xfx,ravno).
:-op(100,xfx,><).

а 100 и 123 мы могли взять?

@chet · 16.05.2010, 21:47 **[ТС]**

а как тут append заменить?
просто его в arity нет

@Грымзик · 16.05.2010, 21:55

Его не надо заменять, его надо определить.

Prolog
1
2
append([],B,B).
append([H|Tail],B,[H|NewTail]):-append(Tail,B,NewTail).

@chet · 16.05.2010, 22:38 **[ТС]**

прокомментируйте пожалуйста

Добавлено через 5 минут
append([],B,B).
append([H|Tail],B,[H|NewTail]):-append(Tail,B,NewTail).

@Грымзик · 16.05.2010, 23:22

append - это слияние двух список в третий.
append([],B,B). если первый список пуст, то ответом будет второй список
append([H|Tail],B,[H|NewTail]):-append(Tail,B,NewTail). если не пуст, то рекурсивно сливаем хвост первого списка со вторым списком и получаем новый хвост для нашего итогового списка.

Новые блоги и статьи Все статьи Все блоги /
Переходник 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 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .

@chet 0 / 0 / 0 Регистрация: 28.04.2010 Сообщений: 4

	Оператор декартова произведения 28.04.2010, 00:58. Показов 2666. Ответов 8 Метки нет (Все метки) Определить операторы «ravno» и «><» и реализовать отношение: L ravno X><Y ( ), где X,Y – некоторые множества, L – множество пар элементов, являющееся результатом декартова произведения множеств X и Y. Добавлено через 56 секунд Декартовым произведением двух множеств X uY называется мно¬жество пар (х,у) таких, что х X, у Y. Обозначим это множество X × Y. 0

@chet 0 / 0 / 0 Регистрация: 28.04.2010 Сообщений: 4
	28.04.2010, 22:40 [ТС]
	не могли бы вы прокомментировать программу 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	29.04.2010, 14:38
	[] ravno _><[]. Произведением любого множества с пустым множество будет пустым. [[A,B]\|Tail] ravno [A]><[B\|T]:-Tail ravno [A]><T. Произведением множества, состоящего из одного элемента А с другим множеством, содержащим элемент В, будет пара (А,В) и произведение первого множества с оставшейся частью второго. Ans ravno [A\|T]><B:- E ravno [A]><B, Tail ravno T><B, append(E,Tail,Ans). Произведение любого множества с любым будет произведение одного элемента из первого множества со вторым множеством (получиться список пар Е), потом рекурсивное произведение оставшейся части первого множества со вторым и добавление к этому рекурсивному результату Е. 0

@bams 0 / 0 / 0 Регистрация: 11.04.2010 Сообщений: 5
	29.04.2010, 23:00
	а тут получается что мы приоритеты расставили? :-op(110,xfx,ravno). :-op(100,xfx,><). а 100 и 123 мы могли взять? 0

@chet 0 / 0 / 0 Регистрация: 28.04.2010 Сообщений: 4
	16.05.2010, 21:47 [ТС]
	а как тут append заменить? просто его в arity нет 0

@chet 0 / 0 / 0 Регистрация: 28.04.2010 Сообщений: 4
	16.05.2010, 22:38 [ТС]
	прокомментируйте пожалуйста Добавлено через 5 минут append([],B,B). append([H\|Tail],B,[H\|NewTail]):-append(Tail,B,NewTail). 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	16.05.2010, 23:22
	append - это слияние двух список в третий. append([],B,B). если первый список пуст, то ответом будет второй список append([H\|Tail],B,[H\|NewTail]):-append(Tail,B,NewTail). если не пуст, то рекурсивно сливаем хвост первого списка со вторым списком и получаем новый хвост для нашего итогового списка. 0