Удаление конца списка после заданного элемента - Prolog

Формулировка задачи:

Помогите мне пожалуйста. Следующий код удаляет конец списка с заданным элементом, как можно удалить конец списка после заданного элемента?

                    Листинг программы
                
 
                            
                        
DOMAINS
 
    list_string = string*
    number_list = integer*
   
 PREDICATES
 
    nondeterm result
    checking(integer,number_list)
    nondeterm del_end_list(integer,number_list,number_list)
    nondeterm read_numlist(number_list)
   
 CLAUSES    
    read_numlist([H|T]):-
        readInt(H),
        H <> 0,
        read_numlist(T).
    read_numlist([]).
    
    checking(X,[]):-
        write("Element ",X," In the list does not exist"),nl,
        write("Re-enter the element"),nl, nl,
        fail.
    checking(X,[X|_]):-!.
    checking(X,[_|T]):-checking(X,T).
   
    del_end_list(X,[X|_],[]).
    del_end_list(X,[H|T],[H|T1]):-del_end_list(X,T,T1). 
    
    result:-  
        write("   1. Delete the end of the list after the specified item."), nl,
        write(" Enter the list: "), nl,
        read_numlist(List1),
        write(" Enter the element:  "),
        readint(X), 
        checking(X,List1),
        del_end_list(X,List1,List2),
        write(" List after deletion:  "),
        write(List2), nl,   
        readchar(_),!.
      
 GOAL
    result.

Решение задачи: «Удаление конца списка после заданного элемента»

Листинг программы

domains
int=integer
intl=int*
 
predicates
cut(intl,int,intl)
 
clauses
cut([],_,[]).
cut([H|_],H,[H]).
cut([X|T],H,[X|R]) :- X<>H, cut(T,H,R).

Объяснение кода листинга программы

Задача: удаление конца списка после заданного элемента.
Используемый язык программирования: Prolog.
В коде определены следующие типы данных:
- int - целочисленный тип данных.
- intl - указатель на целочисленный тип данных.
Определены следующие предикаты:
- cut - предикат, который выполняет удаление конца списка после заданного элемента.
В коде присутствуют следующие утверждения (ограничивающие правила):
- cut([],_,[]). - если список пустой, то список остается пустым.
- cut([H|_],H,[H]). - если в списке присутствует только один элемент, то этот элемент возвращается в итоговом списке.
- cut([X|T],H,[X|R]) :- X<>H, cut(T,H,R). - если в списке есть несколько элементов, то код рекурсивно вызывает себя для обработки списка без текущего элемента и добавляет текущий элемент в итоговый список.
Код работает следующим образом:
- Входные данные: список, элемент, который нужно удалить, итоговый список.
- Рекурсивный вызов функции cut для обработки списка без текущего элемента и добавления текущего элемента в итоговый список.
- Если список пустой, то список остается пустым.
- Если в списке присутствует только один элемент, то этот элемент возвращается в итоговом списке.
- Если в списке есть несколько элементов, то рекурсивный вызов функции cut продолжается до тех пор, пока не будет достигнут список, у которого пустой или содержит только один элемент.
- Итоговый список формируется путем добавления текущего элемента в список, полученный после рекурсивного вызова функции cut.
Преимущества данного подхода:
- Рекурсивный подход позволяет обрабатывать списки любой длины.
- Алгоритм имеет линейную сложность, что делает его эффективным для работы с большими списками.
- Код занимает небольшое количество строк, что делает его компактным и легко читаемым.