Форум программистов [Powered by Invision Power Board]

Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > Центр помощи > [Prolog] рекурсия и пролог

Автор: steet 13.5.2007, 17:39

Условие:

Задан список L1. Построить список L2, удалив из списка L1 повторяющиеся элементы.
(L2 - перечень различных элементов списка L1 входящих в него только 1 (!) раз).

Ну никак не получается решить задачу, буду премного благодарен.

Автор: cherep 14.5.2007, 00:20

Тоже ради интереса познакомился с прологом, решил попинать Вашу задачку, с наскока не получилось, но гугл http://www.intuit.ru/department/pl/plprolog/9/ smile

там еще описан предикат delete_all, но в SWI-Prolog уже есть delete, так что если писать на нем, решение такое:

Код


set([], []).
set([H | T1], [H | T2]):-
 delete(T1, H, Tres),
 set(Tres, T2).

Автор: Artemios 14.5.2007, 01:57

Если на SWI, то можно еще короче:

Цитата

?- list_to_set([1,1,1,2,2,3,3,4],X).

X = [1, 2, 3, 4]

Yes
?-

Автор: steet 14.5.2007, 06:19

cherep,
Artemios,
спасибо за помощь, но к сожалению писать нужно на обычном прологе :(

Автор: Artemios 15.5.2007, 09:53

Так cherep же дал ссылку, по которой:

Код


delete_all(_,[],[]).
delete_all(X,[X|L],L1):–
                  delete_all (X,L,L1).
delete_all (X,[Y|L],[Y|L1]):–
                  X<>Y,
                  delete_all (X,L,L1).

list_set([],[]). 
list_set ([H|T],[H|T1]) :– 
        delete_all(H,T,T2), 
        list_set (T2,T1).

только нужно еще разобраться, как в твоей версии Пролога проверяется неравенство элементов. В этом примере это <> , а в SWI \=

Автор: steet 15.5.2007, 11:42

Artemios,
но ведь в любом случае при неравенстве у нас получается только два варианта и изменять их только в этой позиции, верно же? smile

...
delete_all (X,[Y|L],[Y|L1]):–
X<>Y,
delete_all (X,L,L1).
...

вот только скомпоновать у меня не получается :(

Автор: steet 15.5.2007, 12:15

в моей версии пролога неравенство такое <>

Автор: Artemios 15.5.2007, 16:22

Цитата(steet @ 15.5.2007, 12:42

)

но ведь в любом случае при неравенстве у нас получается только два варианта и изменять их только в этой позиции, верно же?

Угу.

Цитата(steet @ 15.5.2007, 12:42

)

вот только скомпоновать у меня не получается :(

э... а что компоновать?
беру код:

Код


delete_all(_,[],[]).
delete_all(X,[X|L],L1):-
    delete_all(X,L,L1).
delete_all(X,[Y|L],[Y|L1]):-
    X\=Y,
    delete_all(X,L,L1).
list_set([],[]).
list_set([H|T],[H|T1]) :-
    delete_all(H,T,T2),
    list_set(T2,T1).

сохраняю в файл, загружаю в Пролог и даю вопрос:

Цитата

?- list_set([1,2,3,3,3,2,1,2,3,4,5],L).

L = [1, 2, 3, 4, 5]

Yes
?-

Автор: steet 4.6.2007, 11:58

Artemios,

простите что долго не отвечал, рассылка ответов в теме на e-mail не сработала :(

http://img201.imageshack.us/my.php?image=prologrf3.jpg

пишет "3 illegal keywords"

пробовал заменить в коде

delete_all(_,[],[]).
delete_all(X,[X|L],L1):-
    delete_all(X,L,L1).
delete_all(X,[Y|L],[Y|L1]):-
    X\=Y,
    delete_all(X,L,L1).
list_set([],[]).
list_set([H|T],[H|T1]) :-
    delete_all(H,T,T2),
    list_set(T2,T1).

на

delete_all(_,[],[]).
delete_all(X,[X|L],L1):-
    delete_all(X,L,L1).
delete_all(X,[Y|L],[Y|L1]):-
    X<>Y,
    delete_all(X,L,L1).
list_set([],[]).
list_set([H|T],[H|T1]) :-
    delete_all(H,T,T2),
    list_set(T2,T1).

пишет тоже самое :(

Автор: Artemios 4.6.2007, 16:43

Цитата(steet @ 4.6.2007, 12:58

)

http://img201.imageshack.us/my.php?image=prologrf3.jpg

Так это ж Turbo Prolog. Что-нибудь наподобие такого:

Код


DOMAINS

intlist = integer*

PREDICATES

delete_all(integer,intlist,intlist)
list_set(intlist,intlist)

CLAUSES

delete_all(_,[],[]).
delete_all(X,[X|L],L1):-
    delete_all(X,L,L1).
delete_all(X,[Y|L],[Y|L1]):-
    X<>Y,
    delete_all(X,L,L1).
list_set([],[]).
list_set([H|T],[H|T1]) :-
    delete_all(H,T,T2),
    list_set(T2,T1).

GOAL

list_set([1,2,3,3,3,2,1,2,3,4,5],L), write(L), nl.

сам проверить немогу, Турбы неимею.

Автор: steet 4.6.2007, 19:28

Artemios

Работает, сейчас потестирую, спасибо, еще отпишу

Автор: steet 5.6.2007, 16:27

Artemios
Спасибо за помощь!
Если Вам не сложно, не могли бы Вы обяснить пункт CLAUSES что мы делаем в каждой строке.
У нас преподаватель очень требовательный :( а обратиться за помощью больше не к кому.
Вот так она выглядит, полностью рабочая:

Код


DOMAINS
intlist = integer*
PREDICATES
delete_all(integer,intlist,intlist)
list_set(intlist,intlist)
CLAUSES
delete_all(_,[],[]).
delete_all(X,[X|L],L1):-delete_all(X,L,L1).
delete_all(X,[Y|L],[Y|L1]):-X<>Y,delete_all(X,L,L1).
list_set([],[]).
list_set([H|T],[H|RT]):-delete_all(H,T,T2),T=T2,
list_set(T2,RT),!.
list_set([H|T],RT):-delete_all(H,T,T2),
list_set(T2,RT).