Модераторы: Poseidon
  

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> [Prolog] рекурсия и пролог, как решить на прологе 
V
    Опции темы
steet
Дата 13.5.2007, 17:39 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 19
Регистрация: 13.5.2007

Репутация: нет
Всего: нет
Условие:

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

Ну никак не получается решить задачу, буду премного благодарен.
PM MAIL   Вверх
cherep
Дата 14.5.2007, 00:20 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Шустрый
*


Профиль
Группа: Участник
Сообщений: 74
Регистрация: 11.1.2006
Где: Москва

Репутация: 1
Всего: 4
Тоже ради интереса познакомился с прологом, решил попинать Вашу задачку, с наскока не получилось, но гугл всемогущ smile 
там еще описан предикат delete_all, но в SWI-Prolog уже есть delete, так что если писать на нем, решение такое:

Код

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


Это сообщение отредактировал(а) cherep - 14.5.2007, 00:40
PM MAIL WWW ICQ   Вверх
Artemios
Дата 14.5.2007, 01:57 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 405
Регистрация: 14.8.2006
Где: Саратов, Россия

Репутация: 2
Всего: 50
Если на SWI, то можно еще короче:
Цитата

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

X = [1, 2, 3, 4] 

Yes
?- 

smile



--------------------
fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ]
PM MAIL   Вверх
steet
Дата 14.5.2007, 06:19 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 19
Регистрация: 13.5.2007

Репутация: нет
Всего: нет
cherep, 
Artemios, 
спасибо за помощь, но к сожалению писать нужно на обычном прологе :(
PM MAIL   Вверх
Artemios
Дата 15.5.2007, 09:53 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 405
Регистрация: 14.8.2006
Где: Саратов, Россия

Репутация: 2
Всего: 50
Так 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 \=


--------------------
fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ]
PM MAIL   Вверх
steet
Дата 15.5.2007, 11:42 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 19
Регистрация: 13.5.2007

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

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

вот только скомпоновать у меня не получается :(
PM MAIL   Вверх
steet
Дата 15.5.2007, 12:15 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 19
Регистрация: 13.5.2007

Репутация: нет
Всего: нет
в моей версии пролога неравенство такое <>
PM MAIL   Вверх
Artemios
Дата 15.5.2007, 16:22 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 405
Регистрация: 14.8.2006
Где: Саратов, Россия

Репутация: 2
Всего: 50
Цитата(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
?-     



--------------------
fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ]
PM MAIL   Вверх
steet
Дата 4.6.2007, 11:58 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 19
Регистрация: 13.5.2007

Репутация: нет
Всего: нет
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).

пишет тоже самое :(
PM MAIL   Вверх
Artemios
Дата 4.6.2007, 16:43 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 405
Регистрация: 14.8.2006
Где: Саратов, Россия

Репутация: 2
Всего: 50
Цитата(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.


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


--------------------
fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ]
PM MAIL   Вверх
steet
Дата 4.6.2007, 19:28 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 19
Регистрация: 13.5.2007

Репутация: нет
Всего: нет
Artemios

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

Это сообщение отредактировал(а) steet - 4.6.2007, 19:30
PM MAIL   Вверх
steet
Дата 5.6.2007, 16:27 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 19
Регистрация: 13.5.2007

Репутация: нет
Всего: нет
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).
PM MAIL   Вверх
  
 Ответ в темуСоздание новой темы Создание опроса
Правила форума "Центр помощи"

ВНИМАНИЕ! Прежде чем создавать темы, или писать сообщения в данный раздел, ознакомьтесь, пожалуйста, с Правилами форума и конкретно этого раздела.
Несоблюдение правил может повлечь за собой самые строгие меры от закрытия/удаления темы до бана пользователя!


  • Название темы должно отражать её суть! (Не следует добавлять туда слова "помогите", "срочно" и т.п.)
  • При создании темы, первым делом в квадратных скобках укажите область, из которой исходит вопрос (язык, дисциплина, диплом). Пример: [C++].
  • В названии темы не нужно указывать происхождение задачи (например "школьная задача", "задача из учебника" и т.п.), не нужно указывать ее сложность ("простая задача", "легкий вопрос" и т.п.). Все это можно писать в тексте самой задачи.
  • Если Вы ошиблись при вводе названия темы, отправьте письмо любому из модераторов раздела (через личные сообщения или report).
  • Для подсветки кода пользуйтесь тегами [code][/code] (выделяйте код и нажимаете на кнопку "Код"). Не забывайте выбирать при этом соответствующий язык.
  • Помните: один топик - один вопрос!
  • В данном разделе запрещено поднимать темы, т.е. при отсутствии ответов на Ваш вопрос добавлять новые ответы к теме, тем самым поднимая тему на верх списка.
  • Если вы хотите, чтобы вашу проблему решили при помощи определенного алгоритма, то не забудьте описать его!
  • Если вопрос решён, то воспользуйтесь ссылкой "Пометить как решённый", которая находится под кнопками создания темы или специальным флажком при ответе.

Более подробно с правилами данного раздела Вы можете ознакомится в этой теме.

Если Вам помогли и атмосфера форума Вам понравилась, то заходите к нам чаще! С уважением, Poseidon, Rodman
 
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | Центр помощи | Следующая тема »

Подписаться на тему | Подписка на этот форум | Скачать/Распечатать тему


 




[ Время генерации скрипта: 0.0762 ]   [ Использовано запросов: 21 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
 По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.