Функции на Swi Prolog

@Aliskaa · Регистрация: 18.11.2016

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

Здравствуйте, кто-нибудь знает как сделать эту функцию?

Опишите функцию, принимающую в качестве аргумента два списка и возвращающая true, если все элементы, входящие в оба списка, расположены в этих списках в одном и том же порядке.

@arlat · 01.12.2016, 12:06

Prolog
1
2
3
incl([], []).
incl([H | T1], [H | T2]) :-
    incl(T1, T2).

Prolog
1
2
3
4
5
2 ?- incl([1,2,4,3,5,1],[1,2,4,3,5,1]).
true.
 
3 ?- incl([1,2,4,5,3,1],[1,2,4,3,5,1]).
false.

хотя это посто сравнение списков, которое Пролог может выполнить и без написания отдельного предиката

Prolog
1
2
3
4
5
5 ?- [1,2,4,3,5,1]=[1,2,4,3,5,1].
true.
 
6 ?- [1,2,4,5,3,1]=[1,2,4,3,5,1].
false.

@Catstail · 01.12.2016, 16:10

Мне кажется, что в задаче имеется в виду, что списки могут различаться. Нужно убедиться, что общие элементы идут в одном и том же порядке.

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
domains
int=integer
intl=int*
 
predicates
 
memb(int,intl)
inters(intl,intl,intl)
task(intl,intl)
 
clauses
    
memb(_,[]) :- fail.
memb(X,[X|_]) :- !.
memb(X,[Y|T]) :- X<>Y, memb(X,T).
     
inters([],_,[]).
inters([X|T],Y,[X|R]) :- memb(X,Y), inters(T,Y,R).
inters([X|T],Y,R) :- not(memb(X,Y)), inters(T,Y,R).     
 
task(X,Y) :- inters(X,Y,R1), inters(Y,X,R2), R1=R2.

Новые блоги и статьи Все статьи Все блоги /
Midnight Chicago Blues kumehtar 24.03.2026 Такой Midnight Chicago Blues, знаешь?. . Когда вечерние улицы становятся ночными, а ты не можешь уснуть. Ты идёшь в любимый старый бар, и бармен наливает тебе виски. Ты смотришь на пролетающие. . .	Контроль уникальности заводского номера - вариант №2 Maks 24.03.2026 В отличие от предыдущего варианта добавлено прерывание циклов, также добавлены новые переменные для сохранения контекста ошибки перед прерыванием цикла: Процедура ПередЗаписью(Отказ, РежимЗаписи,. . .	SDL3 для Desktop (MinGW): Вывод текста со шрифтом TTF с помощью библиотеки SDL3_ttf на Си и C++ 8Observer8 24.03.2026 Содержание блога Финальные проекты на Си и на C++: finish-text-sdl3-c. zip finish-text-sdl3-cpp. zip	Жизнь в неопределённости kumehtar 23.03.2026 Жизнь — это постоянное существование в неопределённости. Например, даже если у тебя есть список дел, невозможно дойти до точки, где всё окончательно завершено и больше ничего не осталось. В принципе,. . .
Модель здравоСохранения: работники работают быстрее после её введения. anaschu 23.03.2026 geJalZw1fLo Корпорация до введения программа здравоохранения имела много невыполненных работниками заданий, после введения программы количество заданий выросло. Но на выплатах по больничным это. . .	Контроль уникальности заводского номера - вариант №1 Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью. Данные берутся из регистра сведений, по которому настроено. . .	Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git	Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .

@Aliskaa 0 / 0 / 0 Регистрация: 18.11.2016 Сообщений: 14

	Функции на Swi Prolog 29.11.2016, 17:20. Показов 2381. Ответов 2 Метки нет (Все метки) Здравствуйте, кто-нибудь знает как сделать эту функцию? Опишите функцию, принимающую в качестве аргумента два списка и возвращающая true, если все элементы, входящие в оба списка, расположены в этих списках в одном и том же порядке. 0