Структура=>Список=>Снова структура.

@Firth · Регистрация: 21.12.2011

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

Определите предикат argrpl(Term,N,Arg,NTerm), заменяющий N-ый компонент в структуре Term на новый компонент Arg и помещающий результат в NTerm.

?-argrpl(f(a,b,c),2,z,R).
R = f(a,z,c)

Prolog
1
2
3
4
5
6
7
8
9
заменить([_|T],1,Arg,[Arg|T]).             %Вспомогательная программа для списков
заменить([H|T],N,Arg,[H|T1]):-N>1,       
 M is N-1,
   заменить(T,M,Arg,T1).
 
argrpl(Term,N,Arg,NTerm):-                
Term=..X,                                       %превращаем Х в список
заменить(X,N+1,Arg,T),                     % меняем в списке Х элемент, приэтом N+1 потому что список будет длинее на 1 
NTerm=..[T].                                     %Превращаем обратно в структуру.

Выдает ложь.

@Грымзик · 22.12.2011, 18:19

Не NTerm=..[T], а NTerm=..T

@Firth · 22.12.2011, 18:31 **[ТС]**

таак учел, но все равно.
?- argrpl(f(x,y,z),2,a,NTerm).
false.

@Грымзик · 22.12.2011, 18:48

Точно учли? И перекомпилировали? У меня все работает
?- argrpl(f(x,y,z),2,a,NTerm).
NTerm = f(x, a, z) .

@Firth · 22.12.2011, 19:42 **[ТС]**

ой точно спасибо большое.

Новые блоги и статьи Все статьи Все блоги /
Вывод данных через динамический список в справочнике Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Функция заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .	Идея фильтра интернета (сервер = слой+фильтр). Hrethgir 31.03.2026 Суть идеи заключается в том, чтобы запустить свой сервер, о чём я если честно мечтал давно и давно приобрёл книгу как это сделать. Но не было причин его запускать. Очумелые учёные напечатали на. . .
Модель здравосоХранения 6. ESG-повестка и устойчивое развитие; углублённый анализ кадрового бренда anaschu 31.03.2026 В прикрепленном документе раздумья о том, как можно поменять модель в будущем	10 пpимет, которые всегда сбываются Maks 31.03.2026 1. Чтобы, наконец, пришла маршрутка, надо закурить. Если сигарета последняя, маршрутка придет еще до второй затяжки даже вопреки расписанию. 2. Нaдоели зима и снег? Не надо переезжать. Достаточно. . .	Перемещение выделенных строк ТЧ из одного документа в другой Maks 31.03.2026 Реализация из решения ниже выполнена на примере нетипового документа "ВыдачаОборудованияНаСпецтехнику" с единственной табличной частью "ОборудованиеИКомплектующие" разработанного в конфигурации КА2. . . .	Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	22.12.2011, 18:19
	Не NTerm=..[T], а NTerm=..T 1

@Firth 0 / 0 / 0 Регистрация: 21.12.2011 Сообщений: 6
	22.12.2011, 18:31 [ТС]
	таак учел, но все равно. ?- argrpl(f(x,y,z),2,a,NTerm). false. 0

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	22.12.2011, 18:48
	Точно учли? И перекомпилировали? У меня все работает ?- argrpl(f(x,y,z),2,a,NTerm). NTerm = f(x, a, z) . 1

@Firth 0 / 0 / 0 Регистрация: 21.12.2011 Сообщений: 6
	22.12.2011, 19:42 [ТС]
	ой точно спасибо большое. 0