Удаление одного списка из другого

@akadem118 · Регистрация: 02.12.2011

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

написать предикат pr(N1,N2) который удаляет из списка список,N1-табельный номер начала удаляемого списка,N2-табельный номер конца удаляемого списка..
это список от куда надо удалить:

Prolog
1
2
3
4
5
6
7
fio(1,ivanov).
fio(2,petrov).
fio(3,sidorov).
fio(4,andreev).
fio(5,akseniv).
fio(6,vihristuk).
fio(_,noname).

после работы предиката должен остаться список,например:

Prolog
1
|?- pr(2,4).

должен остаться список:

Prolog
1
2
3
4
fio(1,ivanov).
fio(5,akseniv).
fio(6,vihristuk).
fio(_,noname).

как тотак...плиз помогите

@Грымзик · 03.12.2011, 15:39

Prolog
1
2
pr(A,B):-A>B,!.
pr(A,B):-retract(fio(A,_)),A1 is A+1, pr(A1,B).

@akadem118 · 03.12.2011, 21:50 **[ТС]**

что то не работает...
как ты его запускаешь?

Добавлено через 4 часа 6 минут
с твоим предикатом получается такой код:

Prolog
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
fio(1,ivanov).
fio(2,petrov).
fio(3,sidorov).
fio(4,andreev).
fio(5,akseniv).
fio(6,vihristuk).
fio(7,kedrov).
fio(8,kachanova).
fio(9,iankovsrii).
fio(10,rodionov).
fio(11,podnozkina).
fio(12,gurova).
fio(13,leontev).
fio(14,pavlov).
fio(15,mokshin).
fio(16,ots).
fio(_,noname).
pr(X,B):-X>B,!.
pr(X,B):-retract(fio(X,_)),X1 is X+1, pr(X1,B).

при запуске к примеру:

Prolog
1
|?-pr(3,6).

получается такая ошибка:
uncaught exception:error(permission_error(modify, ststic_procedure,fio/2),retract/1)

@Грымзик · 03.12.2011, 22:34

Очень не люблю в людях отсутствие соблюдения каких-то самых элементарных правил общения. Как можно мне тыкать, не зная кто я? Вообщем помогать лично Вам я больше не буду.
Как Вы себе представляете, этот предикат прям строчки из кода программы удалять будет чтоли? Почитайте про динамические базы данных в прологе, про assert/retract.

@akadem118 · 03.12.2011, 23:00 **[ТС]**

я извиняюсь за свою бестактность..и прошу вас помочь с этой программой,просто я в прологе очень слаб.

@akadem118 · 09.12.2011, 21:03 **[ТС]**

Сообщение от Грымзик

Как Вы себе представляете, этот предикат прям строчки из кода программы удалять будет чтоли? Почитайте про динамические базы данных в прологе, про assert/retract.

Я вообще запутался...можете написать весь код целиком,пожалуйста!!!Я перечитал про ДБД но мне это не помогло,мне просто завтра уже сдавать эту программу..ПОЖАЛУЙСТА!!!!

@Грымзик · 09.12.2011, 22:54

Ну не знаю чего там может быть непонятного. Комплите только мои две строчки кода, а далее

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
26
27
28
29
30
1 ?- assert(fio(1,ivanov)).
true.
 
2 ?- assert(fio(2,petrov)).
true.
 
3 ?- assert(fio(3,sidorov)).
true.
 
4 ?- assert(fio(4,akseniv)).
true.
 
5 ?- assert(fio(5,andreev)).
true.
 
6 ?- assert(fio(6,vihristuk)).
true.
 
7 ?- assert(fio(7,noname)).
true.
 
8 ?- pr(2,4).
true.
 
9 ?- fio(A,B),write(fio(A,B)),nl,fail.
fio(1,ivanov)
fio(5,andreev)
fio(6,vihristuk)
fio(7,noname)
false.

@akadem118 · 09.12.2011, 23:00 **[ТС]**

ах вот оно как должно работать)))спасибо огромное!!!очень выручили

Новые блоги и статьи Все статьи Все блоги /
Символические и жёсткие ссылки в Linux. algri14 15.03.2026 Существует два типа ссылок — символические и жёсткие. Ссылка в Linux — это дополнительная запись в каталоге, которая может указывать либо на inode «файла-ИСТОЧНИКА», тогда это будет «жёсткая. . .	[Owen Logic] Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ФедосеевПавел 14.03.2026 Поддержание уровня воды в резервуаре количеством включённых насосов: моделирование и выбор регулятора ВВЕДЕНИЕ Выполняя задание на управление насосной группой заполнения резервуара,. . .	делаю науч статью по влиянию грибов на сукцессию anaschu 13.03.2026 прикрепляю статью	SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:
Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .	Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .

@Грымзик 2507 / 1483 / 37 Регистрация: 14.09.2009 Сообщений: 2,740
	03.12.2011, 22:34
	Очень не люблю в людях отсутствие соблюдения каких-то самых элементарных правил общения. Как можно мне тыкать, не зная кто я? Вообщем помогать лично Вам я больше не буду. Как Вы себе представляете, этот предикат прям строчки из кода программы удалять будет чтоли? Почитайте про динамические базы данных в прологе, про assert/retract. 0

@akadem118 0 / 0 / 0 Регистрация: 02.12.2011 Сообщений: 10
	03.12.2011, 23:00 [ТС]
	я извиняюсь за свою бестактность..и прошу вас помочь с этой программой,просто я в прологе очень слаб. 0

@akadem118 0 / 0 / 0 Регистрация: 02.12.2011 Сообщений: 10
	09.12.2011, 23:00 [ТС]
	ах вот оно как должно работать)))спасибо огромное!!!очень выручили 0