Создайте предикат, проверяющий, является ли входной список множеством

@Галя93 · Регистрация: 22.04.2013

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

Помогите пожалуйста.Создайте предикат,проверяющий,является ли входной список множеством.

@nullxdth · 22.04.2013, 16:45

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
unique(Xs, Us) :-
    unique(Xs, [], Us).
 
unique([], Ys, Ys) :-
    !.
unique([X | Xs], Ys, Us) :-
    memberchk(X, Ys),           % once(member(X, Ys))
    unique(Xs, Ys, Us),
    !.
unique([X | Xs], Ys, Us) :-
    unique(Xs, [X | Ys], Us).
 
is_set(Xs) :-
    unique(Xs, Us),
    length(Xs, LXs),
    length(Us, LUs),
    LXs =:= LUs.
 
%% Examples:
 
%% ?- is_set([1,2,3,4]).
%% true.
 
%% ?- is_set([1,1,2,3,4,4,2]).
%% false.

@Галя93 · 22.04.2013, 22:52 **[ТС]**

Не пойму сколько переменных в предикате unique.Пишет ошибку о несоответствии.

@nullxdth · 23.04.2013, 00:08

Сообщение от Галя93

Не пойму сколько переменных в предикате unique.Пишет ошибку о несоответствии.

unique есть и с 2-мя аргументами, и с 3-мя. Предикат с 2-мя аргументами, это, грубо говоря, wrapper для того чтобы явно не указывать пустой список-аккумулятор во втором аргументе.

@Галя93 · 23.04.2013, 10:13 **[ТС]**

Так значит в доменах указывать 3?

Добавлено через 8 минут
Прошу прощения.точнее в предикатах.Плохо ореинтируюусь в прологе

@Галя93 · 24.04.2013, 17:27 **[ТС]**

Ругается на =:=.
Можно чем-нибудь заменить?

@nullxdth · 24.04.2013, 17:56

Сообщение от Галя93

Так значит в доменах указывать 3?

Сообщение от Галя93

Ругается на =:=. Можно чем-нибудь заменить?

Какой prolog вы используете?

@Галя93 · 26.04.2013, 18:20 **[ТС]**

обычный)

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .
SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .	SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .

@Галя93 2 / 2 / 0 Регистрация: 22.04.2013 Сообщений: 32

	Создайте предикат, проверяющий, является ли входной список множеством 22.04.2013, 16:23. Показов 1829. Ответов 7 Метки нет (Все метки) Помогите пожалуйста.Создайте предикат,проверяющий,является ли входной список множеством. 0

@Галя93 2 / 2 / 0 Регистрация: 22.04.2013 Сообщений: 32
	22.04.2013, 22:52 [ТС]
	Не пойму сколько переменных в предикате unique.Пишет ошибку о несоответствии. 0

@Галя93 2 / 2 / 0 Регистрация: 22.04.2013 Сообщений: 32
	23.04.2013, 10:13 [ТС]
	Так значит в доменах указывать 3? Добавлено через 8 минут Прошу прощения.точнее в предикатах.Плохо ореинтируюусь в прологе 0

@Галя93 2 / 2 / 0 Регистрация: 22.04.2013 Сообщений: 32
	24.04.2013, 17:27 [ТС]
	Ругается на =:=. Можно чем-нибудь заменить? 0

@Галя93 2 / 2 / 0 Регистрация: 22.04.2013 Сообщений: 32
	26.04.2013, 18:20 [ТС]
	обычный) 0