Все против того,что бы я написала прогу к лабе. То пролог не работал, ладно, скинули другой, потом еще что-то сбоило. Теперь находит в объявлениях ошибку. ((
Нашедшему -шоколадка.
Domains
list=integer*
list1=list*
list2=type*
PREDICATES
vvodlist(integer, list)
append(list, list, list)
appendl(listl, listl, listl)
length(list, integer)
vvlist
interset(list,list,list)
CLAUSES
vvlist:- write("Dlina pervogo spiska"), readint(N1), vvodlist(N1,L1), write("L = "),write(L1),
write("Dlina vtorogo spiska"), readint(N2), vvodlist(N2,L2), write("L = "),write(L2), nl.
vvodlist(0, []).
vvodlist(N, L) :- N > 0, write("Element spiska "), readint(X), N1 = N - 1, vvodlist(N1, L1), append(L1, [X], L).
append([], L, L).
append([H|L], M, [H|R]) :- append(L, M, R).
appendl([], L, L).
appendl([H|L], M, [H|R]) :- appendl(L, M, R).
interset([],X[]).
interset([H|Xs],Y,[H|Z]:-member(H,Y),!,interset(Xs,Y,Z).
interset([H|Xs],Y,Z):-interser\t(Xs,Y,Z).
length(list,integer)
lenght([],0).
lenght([_|T],N):-lenght(T,N),N=N+1.