predicates<\/p>\n
mush(string)
\n shena(string)
\n roditel(string, string)
\n ded(string, string)
\n baba(string, string)
\n<\/p>\n
clauses<\/p>\n
mush(«Sergej»).
\n mush(«Dmitrij»).
\n mush(«Valera»).
\n mush(«Petr»).
\n mush(«Mihail»).
\n mush(«Nikolaj»).
\n mush(«Alex»).
\n mush(«Alexandr»).
\n mush(«Kostja»).<\/p>\n
shena(«Barbara»).
\n shena(«Anna»).
\n shena(«Tatiana»).
\n shena(«Liza»).
\n shena(«Katja»).
\n shena(«Julja»).
\n shena(«Raisa»).
\n shena(«L’uda»).<\/p>\n
roditel(«Barbara», «Liza»).
\n roditel(«Liza», «Alex»).
\n roditel(«Alex», «Kostja»).
\n roditel(«Anna», «Katja»).
\n roditel(«Anna», «Petr»).
\n roditel(«Sergej», «?\u0440\u0404\u00a0«).
\n roditel(«Sergej», «??\u0404\u0401»).
\n roditel(«Katja», «?\u044b\u00a0«).
\n roditel(«Petr», «Alex»).
\n roditel(«Petr», «Alexandr»).
\n roditel(«Alexandr», «L’uda»).
\n roditel(«Julja», «L’uda»).
\n roditel(«Tatiana», «Mihail»).
\n roditel(«Dmitrij», «Mihail»).
\n roditel(«Mihail», «Julja»).
\n roditel(«Valera», «Nikolaj»).
\n roditel(«Nikolaj», «Raisa»).
\n roditel(«Raisa», «Kostja»).
\n roditel(«Liza», «Alexandr»).<\/p>\n
ded(A,C) :-
\n roditel(A, B),
\n roditel(B, C),
\n shena(A).<\/p>\n
baba(A, C) :-
\n roditel(A, B),
\n roditel(B, C),
\n shena(A).<\/p>\n
goal<\/p>\n
ded(A, C),
\n write(A, » — dedushka «, C, » >> «) or
\n baba(A, C),
\n write(A, » babushka «, C, » >> «). <\/p>\n
predicates<\/p>\n
mush(string)
\n shena(string)
\n roditel(string, string)
\n nevestka(string, string)
\n z’at'(string, string)
\n suprug(string, string)<\/p>\n
clauses<\/p>\n
mush(«Sergej»).
\n mush(«Dmitrij»).
\n mush(«Valera»).
\n mush(«Petr»).
\n mush(«Mihail»).
\n mush(«Nikolaj»).
\n mush(«Alex»).
\n mush(«Alexandr»).
\n mush(«Kostja»).<\/p>\n
shena(«Barbara»).
\n shena(«Anna»).
\n shena(«Tatiana»).
\n shena(«Liza»).
\n shena(«Katja»).
\n shena(«Julja»).
\n shena(«Raisa»).
\n shena(«L’uda»).<\/p>\n
suprug(«Anna», «Sergej»).
\n suprug(«Sergej», «Anna»).
\n suprug(«Tatiana», «Dmitrij»).
\n suprug(«Dmitrij», «Tatiana»).
\n suprug(«Liza», «Petr»).
\n suprug(«Petr», «Liza»).
\n suprug(«Katja», «Mihail»).
\n suprug(«Mihail», «Katja»).
\n suprug(«Alex», «Raisa»).
\n suprug(«Raisa», «?\u044b\u0445\u044a\u0451»).
\n suprug(«Alexandr», «Julja»).
\n suprug(«Julja», «Alexandr»).<\/p>\n
roditel(«Barbara», «Liza»).
\n roditel(«Liza», «Alex»).
\n roditel(«Alex», «Kostja»).
\n roditel(«Anna», «Katja»).
\n roditel(«Anna», «Petr»).
\n roditel(«Sergej», «Katja»).
\n roditel(«Sergej», «Petr»).
\n roditel(«Katja», «Julja»).
\n roditel(«Petr», «Alex»).
\n roditel(«Petr», «Alexandr»).
\n roditel(«Alexandr», «L’uda»).
\n roditel(«Julja», «L’uda»).
\n roditel(«Tatiana», «Mihail»).
\n roditel(«Dmitrij», «Mihail»).
\n roditel(«Mihail», «Julja»).
\n roditel(«Valera», «Nikolaj»).
\n roditel(«Nikolaj», «Raisa»).
\n roditel(«Raisa», «Kostja»).
\n roditel(«Liza», «Alexandr»).<\/p>\n
nevestka(A, B) :-
\n suprug(A, C),
\n roditel(B, C),
\n shena(A),
\n C <> B.<\/p>\n
nevestka(A, B) :-
\n suprug(A, C),
\n roditel(D, C),
\n roditel(D, B),
\n roditel(E, C),
\n roditel(E, B),
\n D <> E,
\n shena(D),
\n mush(E),
\n shena(A),
\n C <> B.<\/p>\n
nevestka(A, B) :-
\n suprug(A, C),
\n roditel(D, C),
\n roditel(D, F),
\n roditel(E, C),
\n roditel(E, F),
\n D <> E,
\n shena(D),
\n mush(E),
\n shena(A),
\n C <> F,
\n suprug(F, B).<\/p>\n
z’at'(A, B) :-
\n suprug(A, C),
\n roditel(B, C),
\n mush(A),
\n C <> B.<\/p>\n
z’at'(A, B) :-
\n suprug(A, C),
\n roditel(D, C),
\n roditel(D, B),
\n roditel(E, C),
\n roditel(E, B),
\n D <> E,
\n shena(D),
\n mush(E),
\n mush(A),
\n C <> B.<\/p>\n
z’at'(A, B) :-
\n suprug(A, C),
\n roditel(D, C),
\n roditel(D, F),
\n roditel(E, C),
\n roditel(E, F),
\n D <> E,
\n shena(D),
\n mush(E),
\n mush(A),
\n C <> F,
\n suprug(F, B).<\/p>\n
goal<\/p>\n
nevestka(A, B),
\n write (A, » nevestka», B, » «) or
\n z’at'(A, B),
\n write (A, » z’at'», B, » «). <\/p>\n
predicates
\nchto_gde_leshit(symbol,symbol,symbol,symbol)
\nsosud(symbol)
\nclauses
\nsosud(butlka).
\nsosud(stakan).
\nsosud(kuvchin).
\nsosud(banka).
\nchto_gde_leshit(I,T,K,E):-
\nsosud(I),
\nsosud(T),
\nsosud(K),
\nsosud(E),
\nI<>T,
\nI<>K,
\nI<>E,
\nT<>K,
\nT<>E,
\nK<>E,
\nnot(I=butlka),
\nnot(E=butlka),
\nnot(T=kuvchin),
\nnot(T=banka),
\nnot(E=banka),
\nnot(I=stakan),
\nnot(I=banka).
\ngoal
\nchto_gde_leshit(Moloko,Limonad,Kvas,Voda).<\/p>\n
%1) Znaet li Sergej Borisa?<\/p>\n
DOMAINS<\/p>\n
name, addr = string
\n\/*
\npredicates
\nd (symbol).
\nn (symbol).
\nsap(symbol).
\nl().<\/p>\n
clauses<\/p>\n
d(maria).
\nn(sergei).
\nn(boris).
\nn(valentin).
\nsap(maria).
\nsap(sergei).
\nsap(boris).
\nsap(valentin).
\nl():- sap(X),X=»boris»,
\n\tsap(Y),Y=»sergei»,
\n\tn(X),
\n\tn(Y),
\n\ttrue.<\/p>\n
l():- sap(X),X=»boris»,
\n\tsap(Y),Y=»sergei»,
\n\td(X),
\n\td(Y),
\n\ttrue.<\/p>\n
goal
\nwrite(«sergei znaet borisa — «),
\nl().
\n*\/<\/p>\n
%2) Kogo znaet Valentina?
\n\/*<\/p>\n
predicates
\nd (symbol).
\nn (symbol).
\nsap(symbol).
\nl().<\/p>\n
clauses
\nd(maria).
\nn(sergei).
\nn(boris).
\nn(valentin).
\nsap(maria).
\nsap(sergei).
\nsap(boris).
\nsap(valentin).
\nl():- sap(X),X=»valentin»,
\n\td(X),d(Y),Y<>X,
\n\twrite(Y,»\\n»),
\n\tfail.
\nl():- sap(X),X=»valentin»,
\n\tn(X),n(Y),Y<>X,
\n\twrite(Y,»\\n»),
\n\tfail.
\ngoal
\nl().
\n*\/<\/p>\n
%3) Kogo znaet Marija?
\n\/*<\/p>\n
predicates
\nd (symbol).
\nn (symbol).
\nsap(symbol).
\nl().<\/p>\n
clauses
\nd(maria).
\nn(sergei).
\nn(boris).
\nn(valentin).
\nsap(maria).
\nsap(sergei).
\nsap(boris).
\nsap(valentin).
\nl():- sap(X),X=»maria»,
\n\td(X),d(Y),Y<>X,
\n\twrite(Y,»\\n»),
\n\tfail.
\nl():- sap(X),X=»maria»,
\n\tn(X),n(Y),Y<>X,
\n\twrite(Y,»\\n»),
\n\tfail.
\ngoal
\nwrite(«\\n»),
\nl().<\/p>\n
*\/
\n%4) Kto ne znakom drug s drugom?
\n\/*
\npredicates
\nd (symbol).
\nn (symbol).
\nsap(symbol).
\nl().<\/p>\n
clauses
\nd(maria).
\nn(sergei).
\nn(boris).
\nn(valentin).
\nsap(maria).
\nsap(sergei).
\nsap(boris).
\nsap(valentin).
\nl():- sap(X), sap(Y),
\n\td(X),n(Y),
\n\twrite(Y,» — «,X,»\\n»),
\n\tfail.<\/p>\n
goal
\nl().*\/<\/p>\n
%recursivno
\n\/*
\npredicates
\n\t func(real, real)<\/p>\n
clauses
\n\t func(1, 0.84147) :- !.
\n\t func(X, SumX) :-
\n\t\tY = X-1,
\n\t\tfunc (Y, SumY),
\n\t\tSumX = (1+sin(X))*SumY.
\nGOAl:
\nwrite(«Enter a number.\\n»),
\nreadreal(X),
\nfunc (X, SumX).
\n*\/<\/p>\n
% iterativno<\/p>\n
predicates
\n\t func(real, real)
\n\t func(real, real, real, real)
\nclauses
\n\t func(N, SumN) :-
\n\t \t func(N, SumN, 1, 0.84147).
\n\t % func(N, SumN, N, SumN) :- !.
\n\t func(N, SumN, I, P) :-
\n\t NewI = I+1,
\n\t NewP = P*(1+sin(NewI)),
\n\t func(N, SumN, NewI, NewP).
\nGOAL: write(«Enter a number.\\n»), readreal(X),
\nfunc (X, SumX).<\/p>\n
%S=1!+2!+3!+4!+…+n! (n>1) Rekyrsivnii
\npredicates
\n\tf(integer, integer)
\n\tsum(integer,integer)
\nclauses
\n\tf(1, 1) :- !.
\n\tf(FactX,X) :-
\n\t\tY=X-1,
\n\t\tf(FactY, Y),
\n\t\tFactX = X*FactY.
\n\tsum(1, 1) :- !.
\n\tsum(N,S):-
\n\t\tNewN=N-1,
\n\t\tsum(NewN,NewS),
\n\t\tf(L,N),
\n\t\tS=L+NewS.
\ngoal
\n\tN=3,
\n\tsum(N, S). <\/p>\n
\/*%S=1!+2!+3!+4!+…+n! (n>1) Iteracionnii
\npredicates
\n\tf(real, real)
\n\tf(unsigned, long, unsigned, long)
\n\tsum(integer,real)
\n\tsum(integer,real,integer,real)
\nclauses
\n\tf(N, FactN) :-
\n\t \t f(N, FactN, 1, 1).
\n\t f(N, FactN, N, FactN) :- !.
\n\t f(N, FactN, I, P) :-
\n\t NewI = I+1,
\n\t NewP = P*NewI,
\n\t f(N, FactN, NewI, NewP).
\n\tsum(N,Sum):-sum(N,Sum,1,1).
\n\tsum(N,Sum,N,Sum):-!.
\n\tsum(N,Sum,L,S):-
\n\t\tL1=L+1,
\n\t\tf(L1,P),
\n\t\tNewS=S+P,
\n\t\tsum(N,Sum,L1,NewS).
\ngoal
\n\tX=3,
\n\tsum(X, FX).
\n*\/<\/p>\n","protected":false},"excerpt":{"rendered":"
predicates mush(string) shena(string) roditel(string, string) ded(string, string) baba(string, string)<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[36],"tags":[],"_links":{"self":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23961"}],"collection":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=23961"}],"version-history":[{"count":2,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23961\/revisions"}],"predecessor-version":[{"id":23969,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23961\/revisions\/23969"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23961"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23961"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23961"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}