Функции на Swi Prolog

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

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

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

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

@arlat · 01.12.2016, 12:06

Prolog

1
2
3

incl([], []).
incl([H | T1], [H | T2]) :-
    incl(T1, T2).

Prolog

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

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

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.

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

	01.12.2016, 16:10