Удаление произвольного элемента из списка

@aleksandr20 · Регистрация: 25.05.2010

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

Необходима программа, удаляющая произвольный элемент из списка.
Посоветовали вбить как

Prolog
1
2
3
del(_,[],[]):-!.
del(El,[El|T],T):-!.
del(El,[X|T],[X|T1]):-del(El,T,T1).

, но прога всё равно почему-то не работает, руки кривые..
Не подскажете, как в таком случае описать домены, предикаты и цель? Пожалуйста.

@Грымзик · 01.06.2010, 14:35

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
domains
ilist=integer*
 
predicates
del(integer,ilist,ilist).
 
clauses
del(_,[],[]).
del(El,[El|T],T):-!.
del(El,[X|T],[X|T1]):-del(El,T,T1).
 
goal
del(3,[5,2,4,3,1,6,7],A).

В первом правиле отсечение не нужно, ведь если второй параметр пустой список,
то точно не будут выполнены ни второе ни третье правила.

@aleksandr20 · 01.06.2010, 17:13 **[ТС]**

Спасибо большое!

@rrrFer · 01.06.2010, 18:35

а вовтором правиле обязательно отсечение?

Prolog
1
2
3
4
delelem([],[],_).
    delelem([H|T],T,H).
    delelem([H|T],[H|TT],X):-
        delelem(T,TT,X).

вроде бы и так работает

@Грымзик · 01.06.2010, 18:40

Обязательно, ведь в случае если голова - искомый элемент, то ничто не мешает выполниться в этом случае и третьему правилу. У Вас наверно просто не ищутся автоматически все решения, воспользуйтесь тогда fail. Без отсечения выдается результат:
A=[5,2,4,1,6,7]
A=[5,2,4,3,1,6,7]
2 Solutions

@rrrFer · 01.06.2010, 19:36

не понял куда fail засунуть

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
domains     
    element=integer
    list=element*
predicates
    output(list)   
    delelem(list,list,element)    /*удаление произваольного элемента спика*/
    start
clauses            
                      
    delelem([],[],_).
    delelem([H|T],T,H).
    delelem([H|T],[H|TT],X):-
        delelem(T,TT,X).
        
    output([]).
    output([H|T]):- 
        write(H),
        write(" "),
        output(T).  
 
    start:- 
        L=[3,1,2,3,4,5,3,6],    
        output(L),nl,
        delelem(L,L1,3),
        output(L1).

если голова искомый элемент то delelem([H|T],T,H). истинно и поиск закончен. Подскажите как найти все решения?

@Грымзик · 01.06.2010, 23:36

Если искать все возможные решения, то если голова - искомый элемент, может выполниться и третье правило
delelem([H|T],[H|TT],X), нигде нет никаких условий на H. Чтобы такого не было, надо ставить отсечение,
или писать проверку в третьем правиле, что H<>X.
Для того чтобы получить все решения, пишите output(L1),fail.

Новые блоги и статьи Все статьи Все блоги /
Подстановка значения реквизита справочника в табличную часть документа Maks 10.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "ПланированиеПерсонала", разработанного в конфигурации КА2. Задача: при выборе сотрудника (справочник Сотрудники) в ТЧ документа. . .	Очистка реквизитов документа при копировании Maks 09.04.2026 Алгоритм из решения ниже применим как для типовых, так и для нетиповых документов на самых различных конфигурациях. Задача: при копировании документа очищать определенные реквизиты и табличную. . .	модель ЗдравоСохранения 8. Подготовка к разному выполнению заданий anaschu 08.04.2026 https:/ / github. com/ shumilovas/ med2. git main ветка * содержимое блока дэлэй из старой модели теперь внутри зайца новой модели 8ATzM_2aurI	Блокировка документа от изменений, если он открыт у другого пользователя Maks 08.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа, разработанного в конфигурации КА2. Задача: запретить редактирование документа, если он открыт у другого пользователя. / / . . .
Система безопасности+живучести для сервера-слоя интернета (сети). Двойная привязка. Hrethgir 08.04.2026 Далее были размышления о системе безопасности. Сообщения с наклонным текстом - мои. А как нам будет можно проверить, что ссылка наша, а не подделана хулиганами, которая выбросит на другую ветку и. . .	Модель ЗдрввоСохранения 7: больше работников, больше ресурсов. anaschu 08.04.2026 работников и заданий может быть сколько угодно, но настроено всё так, что используется пока что только 20% kYBz3eJf3jQ	Дальние перспективы сервера - слоя сети с космологическим дизайном интефейса карты и логики. Hrethgir 07.04.2026 Дальнейшее ближайшее планирование вывело к размышлениям над дальними перспективами. И вот тут может быть даже будут нужны оценки специалистов, так как в дальних перспективах всё может очень сильно. . .	Горе от ума kumehtar 07.04.2026 Эта мне ментальная установка, что вот прямо сейчас, мол, мне для полного счастья не хватает (нужное вписать), и когда я этого достигну - тогда и полный кайф. Одна из самых сильных ловушек на пути. . . .

@aleksandr20 0 / 0 / 0 Регистрация: 25.05.2010 Сообщений: 4
	01.06.2010, 17:13 [ТС]
	Спасибо большое! 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	01.06.2010, 18:40
	Обязательно, ведь в случае если голова - искомый элемент, то ничто не мешает выполниться в этом случае и третьему правилу. У Вас наверно просто не ищутся автоматически все решения, воспользуйтесь тогда fail. Без отсечения выдается результат: A=[5,2,4,1,6,7] A=[5,2,4,3,1,6,7] 2 Solutions 1

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	01.06.2010, 23:36
	Если искать все возможные решения, то если голова - искомый элемент, может выполниться и третье правило delelem([H\|T],[H\|TT],X), нигде нет никаких условий на H. Чтобы такого не было, надо ставить отсечение, или писать проверку в третьем правиле, что H<>X. Для того чтобы получить все решения, пишите output(L1),fail. 1