Отсечение

@TiraniD · Регистрация: 25.11.2012

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

Написал программу.Все работает.Но решение выводит несколько раз.Вот кусок кода:

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

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
nondeterm search(list1,string)
nondeterm vivod(list)
nondeterm l(char,list1,string)
nondeterm str_list(string,list1)
clauses
 
vivod([]).
vivod([H|T]):-str_list(H,L),search(L,H),vivod(T).
 
search([],_).
search([H|T],L):-
l(H,T,L),
search(T,L).
 
l(_,[],_).
l(H1,[H|T],L):-H1=H,!,write(L),nl,l(H1,T,L).
l(H1,[_|T1],L):-l(H1,T1,L).
 
str_list("",[]). 
str_list(S,[H|T]):-
frontchar(S,H,S1), 
str_list(S1,T).

Уверен что дело в правиле l().Но не могу правильно поставить отсечение.Помогите пожалуйста.

@Black Fregat · 06.05.2014, 12:30

Вы бы хоть условие задачи привели..

Новые блоги и статьи Все статьи Все блоги /
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	1С: Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .	Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .	Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .

@Black Fregat Фрилансер 3709 / 2083 / 567 Регистрация: 31.05.2009 Сообщений: 6,683
	06.05.2014, 12:30
	Вы бы хоть условие задачи привели.. 0