Вариант 1 (выводит странные выходные данные):
% Bilet7
% Patched 14.01.13
% To start type: jstart.
head(X,[X|L]).
tail(L,[X|L]).
member(X,L):-head(X,L).
member(X,L):-tail(T,L),member(X,T).
delete(X,[X|L],L).
delete(X,[Y|L],[Y|L1]):-delete(X,L,L1).
conk([],L,L).
conk([X|L1],L2,[X|L3]):-conk(L1,L2,L3).
sublist(S,L):-
conk(L1,L2,L),
conk(S,L3,L2).
un([],L,[]).
un(L1,L2,L3):- head(X,L1),
member(X,L2),
delete(X,L1,L11),
delete(X,L2,L22),
un(L11,L22,L33),
L3=[X|L33],!.
un([H|T],L2,L3):-un(T,L2,L3).
del_sub([],L,L).
del_sub([X|L],L1,L2):-delete(X,L1,L3),
del_sub(L,L3,L2).
nok(L1,L2,X):- un(L1,L2,L3),
setof(L11,del_sub(L3,L1,L11),[L111]),
setof(L22,del_sub(L3,L2,L22),[L222]),
conk(L111,L222,L4),
conk(L4,L3,X).
proisv([X|[]],X).
proisv([H|T],X):-proisv(T,X2), X is H*X2.
predikat(L1,L2,X):-nok(L1,L2,Y),proisv(Y,X).
jstart:- write(' Vvedite spisok L1: '),nl,read(LJAM1),nl,
write(' Vivod spiska L1= '),
write(LJAM1),nl,
write(' Vvedite spisok L2: '),nl,read(LJAM2),nl,
write(' Vivod spiska L2= '),
write(LJAM2),nl,
predikat(L1,L2,Z),
write(Z).
Вариант 2 (работает):
% Bilet7 Variant 2
% Patched 14.01.13
% To start type: jstart.
nod(X,Y,Y):-Y=<X,0 is X mod Y .
nod(X,Y,Z):-X<Y,nod(Y,X,Z).
nod(X,Y,Z):-X>=Y, M is X mod Y,nod(Y,M,Z).
nok(X,Y,Z):-nod(X,Y,Z1),S is X*Y,Z is S//Z1.
nok_sp([X],X).
nok_sp([M|[L|N]],X):-nok(M,L,Y),nok_sp([Y|N],X).
jstart:- write(' Vvedite spisok L (vse deliteli): '),nl,read(LJAM1),nl,
write(' Vivod spiska L= '),
write(LJAM1),nl,
nok_sp(LJAM1,Z),
write(Z).
Друзья! Приглашаем вас к обсуждению. Если у вас есть своё мнение, напишите нам в комментарии.