Someone

/* Lab - 6 */

domains
	
	E = string*
	T = string
	I = integer
	
predicates

	add_bel(T)		% вспомогательная процедура (готово)
	belong(T,E)		% принадлеждность (готово)
	
	change(E)		% заменить
	first(E)		% первый (готово)
	last(E,I)		% последний
	concatn(E)		% конкатенация
	add(E)			% добавить
	
	add_del(T)		% вспомогательная процедура (готово)
	del(E,T,E)		% удалить
	
	reverse(E)		% реверсия
	sublist(E)		% подсписок
	
	length(E,I)		% длина списка (готово)
	add_len(I)		% вспомогательная процедура (готово)
	
	index(E)		% индекс элемента
	
	viever(E)		% просмотр (готово)

	enter_list(E)	        % ввод (готово)
	menu(E,T)		% меню (готово)
	action(E,T)		% действия (готово)
	program.		% программа (готово)

goal

	program.
	
/* santa */
clauses
	
	program:-
		write("\nВведите список\n(точка = прерывание)\n---\n"),
		enter_list(Str), menu(Str,Txt).
	
	enter_list([H|T]):-
		write("Ввод: "), readln(H), 
		H <> "." ,!, enter_list(T).
	enter_list([]).
	
	menu(Str,Txt):-
		write("1.Просмотр\n2.Принадлежит\n3.Заменить\n"),
		write("4.Первый\n5.Последний\n6.Конкатенация\n"),
		write("7.Добавление\n8.Удаление\n9.Реверсия\n"),
		write("10.Подсписок\n11.Длина списка\n12.Индекс\n"),
		write("13.Выход\n-----\nВведите значение: "),
		readln(Txt), action(Str,Txt).
	
	action(Str,"1"):-
		viever(Str), menu(Str,_),!.
	action(Str,"2"):-
		add_bel(El), belong(El,Str), 
		readln(P), menu(Str,_),!.
	action(Str,"3"):-
		change(Str), menu(Str,_),!.
	action(Str,"4"):-
		first(Str), menu(Str,_),!.
	action(Str,"5"):-
		last(Str,N), menu(Str,_),!.
	action(Str,"6"):-
		concatn(Str), menu(Str,_),!.
	action(Str,"7"):-
		add(Str), menu(Str,_),!.
	action(Str,"8"):-
		add_del(X), del(Str,X,Str1), 
		write("\n\nУдалённый элемент: ",X,"\n\n"),
		readln(Pps), menu(Str1,_),!.
	action(Str,"9"):-
		reverse(Str), menu(Str,_),!.
	action(Str,"10"):-
		sublist(Str), menu(Str,_),!.
	action(Str,"11"):-
		length(Str,N), add_len(N), menu(Str,_),!.
	action(Str,"12"):-
		index(Str), menu(Str,_),!.
		
	viever(Str):-
		write("\n\n"),
		write(Str), write("\n\n"),
		readln(N), write("\n\n").
	
	add_bel(El):-
		write("\n\nВведите символ: "),
		readln(El).
	belong(El,[El|_]):-
		write("\n\n",El," - Принадлежит списку\n\n"),!.
	belong(El,[_|T]):-
		belong(El,T),!.
	belong(El,[_|[]]):-
		write("\n\n",El," - Не принадлежит списку\n\n"). /* косяк, рекурсивно выводит значения */
	
	change(Str).
	
	first([H|T]):-
		write("\n\n"), write(H),
		write("\n\n"), readln(P).
	
	last([_|T],N).
		/*write("\n\n"),
		last(T,TailLength),
		N=TailLength + 1.*/
	
	concatn(Str).
	
	add([H1|T1]).
		/*write("Ввод: "), readln(H1), 
		H1 <> "." ,!, add(T1).*/
	
	add_del(X):-
		write("\n\nВведите элемент: "),
		readln(X).
	del([X|T],X,L).
	
	reverse(Str).
	
	sublist(Str).
	
	length([],0).
	length([_|T],N):-
		length(T,TailLength),
		N=TailLength + 1. 
	add_len(N):-
		write("\n\nДлина списка: "),
		write(N), write("\n\n"), readln(P). 
		 
	index(Str).