{"id":23966,"date":"2012-12-24T16:08:16","date_gmt":"2012-12-24T13:08:16","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=23966"},"modified":"2012-12-24T16:08:16","modified_gmt":"2012-12-24T13:08:16","slug":"%d0%bb%d0%b0%d0%b1%d0%be%d1%80%d0%b0%d1%82%d0%be%d1%80%d0%bd%d1%8b%d0%b5-%d1%80%d0%b0%d0%b1%d0%be%d1%82%d1%8b-%d0%bf%d0%be-%d0%bf%d1%80%d0%be%d0%bb%d0%be%d0%b3%d1%83-%d1%87%d0%b0%d1%81%d1%82%d1%8c-2","status":"publish","type":"post","link":"https:\/\/studentpmr.ru\/?p=23966","title":{"rendered":"\u041b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u043d\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u044b \u043f\u043e \u043f\u0440\u043e\u043b\u043e\u0433\u0443. \u0427\u0430\u0441\u0442\u044c 2."},"content":{"rendered":"

predicates
\n man(symbol)
\n woman(symbol)
\n parent(symbol, symbol)
\n %shurin(symbol)
\n zolovka(symbol)
\nclauses
\n
\n man(sergey).
\n man(dmitriy).
\n man(valera).
\n man(petr).
\n man(mihail).
\n man(nikolay).
\n man(alex).
\n man(alexandr).
\n man(kostya).<\/p>\n

woman(barbara).
\n woman(anna).
\n woman(tatiana).
\n woman(liza).
\n woman(katya).
\n woman(juli).
\n woman(raisa).
\n woman(lyuda).<\/p>\n

parent(barbara, liza).
\n parent(liza, alex).
\n parent(alex, kostya).
\n parent(anna, katya).
\n parent(anna, petr).
\n parent(sergey, katya).
\n parent(sergey, petr).
\n parent(katya, juli).
\n parent(petr, alex).
\n parent(petr, alexandr).
\n parent(alexandr, lyuda).
\n parent(juli, lyuda).
\n parent(tatiana, mihail).
\n parent(dmitriy, mihail).
\n parent(mihail, juli).
\n parent(valera, nikolay).
\n parent(nikolay, raisa).
\n parent(raisa, kostya).<\/p>\n

\/*shurin(X):-
\n parent(Z,Y),
\n parent(A,Y),
\n parent(B,Z),
\n parent(B,X),
\n man(X),
\n woman(Z).*\/<\/p>\n

zolovka(Z):-
\n parent(D,E),
\n parent(X,E),
\n parent(B,Z),
\n parent(B,X),
\n man(X),
\n woman(Z).<\/p>\n

goal
\n %shurin(X).
\n zolovka(Z).<\/p>\n

predicates
\n man(symbol)
\n woman(symbol)
\n parent(symbol, symbol)
\n tetya (symbol, symbol)
\n dyadya (symbol, symbol)
\nclauses
\n man(sergey).
\n man(dmitriy).
\n man(valera).
\n man(petr).
\n man(mihail).
\n man(nikolay).
\n man(alex).
\n man(alexandr).
\n man(kostya).
\n woman(barbara).
\n woman(anna).
\n woman(tatiana).
\n woman(liza).
\n woman(katya).
\n woman(juli).
\n woman(raisa).
\n woman(lyuda).<\/p>\n

parent(barbara, liza).
\n parent(liza, alex).
\n parent(alex, kostya).
\n parent(anna, katya).
\n parent(anna, petr).
\n parent(sergey, katya).
\n parent(sergey, petr).
\n parent(katya, juli).
\n parent(petr, alex).
\n parent(petr, alexandr).
\n parent(alexandr, lyuda).
\n parent(juli, lyuda).
\n parent(tatiana, mihail).
\n parent(dmitriy, mihail).
\n parent(mihail, juli).
\n parent(valera, nikolay).
\n parent(nikolay, raisa).
\n parent(raisa, kostya).<\/p>\n

tetya (X, Y):-
\n woman (X),
\n parent (H, X),
\n parent (H, M),
\n M<>X,
\n parent (M, Y).<\/p>\n

dyadya (X1, Y1):-
\n man (X1),
\n parent (H1, X1),
\n parent (H1, M1),
\n M1<>X1,
\n parent (M1, Y1).
\n goal
\n tetya (What, Plemianik),
\n write («Tetya «);
\n dyadya (What,Plemianik),
\n write («_Dyadya «).<\/p>\n

predicates
\n man(symbol)
\n woman(symbol)
\n parent(symbol, symbol)
\n suprug(symbol, symbol)
\n nevestka (symbol, symbol)
\n dever (symbol, symbol)<\/p>\n

clauses
\n man(sergey).
\n man(dmitriy).
\n man(valera).
\n man(petr).
\n man(mihail).
\n man(nikolay).
\n man(alex).
\n man(alexandr).
\n man(kostya).
\n woman(barbara).
\n woman(anna).
\n woman(tatiana).
\n woman(liza).
\n woman(katya).
\n woman(juli).
\n woman(raisa).
\n woman(lyuda).<\/p>\n

parent(barbara, liza).
\n parent(liza, alex).
\n parent(alex, kostya).
\n parent(anna, katya).
\n parent(anna, petr).
\n parent(sergey, katya).
\n parent(sergey, petr).
\n parent(katya, juli).
\n parent(petr, alex).
\n parent(petr, alexandr).
\n parent(alexandr, lyuda).
\n parent(juli, lyuda).
\n parent(tatiana, mihail).
\n parent(dmitriy, mihail).
\n parent(mihail, juli).
\n parent(valera, nikolay).
\n parent(nikolay, raisa).
\n parent(raisa, kostya).<\/p>\n

suprug (anna, sergey).
\n suprug (tatiana, dmitriy).
\n suprug (liza, petr).
\n suprug (katya, mihail).
\n suprug (raisa, alex).
\n suprug (juli, alexandr).<\/p>\n

nevestka (X, Y):-
\n parent (H, Y),
\n parent (H, B),
\n Y<>B,
\n suprug (X, B),
\n woman(X),
\n man(B).<\/p>\n

nevestka (X, Y):-
\n parent (Y, S),
\n man(S),
\n suprug (X,S),
\n woman(X).<\/p>\n

dever (X, Y):-
\n suprug (Y, M),
\n man(M),
\n woman(Y),
\n parent(R, X),
\n parent(R, M),
\n X<>M,
\n man(X).<\/p>\n

goal
\n nevestka (Who, Whom),
\n write («Tetya «);
\n dever (Who, Whom),
\n write («_Dever «).<\/p>\n

predicates
\nigrok(symbol)
\nliga_1(symbol)
\nliga_2(symbol)
\nliga_3(symbol)
\nvizov(symbol, symbol)<\/p>\n

clauses
\n igrok(sergey).
\n igrok(dmitriy).
\n igrok(valera).
\n igrok(petr).
\n igrok(mihail).
\n igrok(nikolay).
\n igrok(alex).
\n igrok(alexandr).
\n igrok(kostya).
\n igrok(barbara).
\n igrok(anna).
\n igrok(tatiana).<\/p>\n

liga_1(sergey).
\n liga_1(dmitriy).
\n liga_1(valera).
\n liga_1(petr).<\/p>\n

liga_2(mihail).
\n liga_2(nikolay).
\n liga_2(alex).
\n liga_2(alexandr).<\/p>\n

liga_3(kostya).
\n liga_3(barbara).
\n liga_3(anna).
\n liga_3(tatiana).<\/p>\n

vizov (X, Y):-
\n igrok(X),
\n igrok(Y),
\n liga_1(X),
\n X<>Y,
\n not (liga_3(Y)).<\/p>\n

\/*vizov (X, Y):-
\n igrok(X),
\n igrok(Y),
\n liga_2(X),
\n X<>Y,
\n not (liga_1(Y)).<\/p>\n

vizov (X, Y):-
\n igrok(X),
\n igrok(Y),
\n liga_3(X),
\n X<>Y,
\n liga_3(Y).*\/<\/p>\n

goal
\nvizov(What, Whom).<\/p>\n

predicates
\n man(symbol)
\n woman(symbol)
\n parent(symbol, symbol)
\n plemyanniki(symbol,symbol)<\/p>\n

clauses
\n man(sergey).
\n man(dmitriy).
\n man(valera).
\n man(petr).
\n man(mihail).
\n man(nikolay).
\n man(alex).
\n man(alexandr).
\n man(kostya).<\/p>\n

woman(barbara).
\n woman(anna).
\n woman(tatiana).
\n woman(liza).
\n woman(katya).
\n woman(juli).
\n woman(raisa).
\n woman(lyuda).<\/p>\n

parent(barbara, liza).
\n parent(liza, alex).
\n parent(alex, kostya).
\n parent(anna, katya).
\n parent(anna, petr).
\n parent(sergey, katya).
\n parent(sergey, petr).
\n parent(katya, juli).
\n parent(petr, alex).
\n parent(petr, alexandr).
\n parent(alexandr, lyuda).
\n parent(juli, lyuda).
\n parent(tatiana, mihail).
\n parent(dmitriy, mihail).
\n parent(mihail, juli).
\n parent(valera, nikolay).
\n parent(nikolay, raisa).
\n parent(raisa, kostya).<\/p>\n

plemyanniki(X,Y):-
\n parent(Z,Y),
\n parent(A,Z),
\n parent(B,Z),
\n parent(C,X),
\n parent(A,C),
\n parent(B,C),
\n %X<>Y,
\n %Z<>C,
\n man(X),
\n woman(Y).<\/p>\n

\/*plemyanniki(X,Y):-
\n parent(Z,Y),
\n parent(A,Z),
\n parent(B,Z),
\n parent(C,X),
\n parent(A,C),
\n parent(B,C),
\n %X<>Y,
\n %Z<>C,
\n man(Y),
\n woman(X).*\/<\/p>\n

\/*plemyanniki(X,Y):-
\n parent(Z,Y),
\n parent(A,Z),
\n parent(B,Z),
\n parent(C,X),
\n parent(A,C),
\n parent(B,C),
\n Z<>C.*\/<\/p>\n

goal
\n plemyanniki(X,Y),
\n write(«\\nman and wonam\\n»).<\/p>\n

\/*plemyanniki(X,Y),
\n write(«\\nwoman and nam\\n»).*\/<\/p>\n

\/* plemyanniki(X,Y).*\/<\/p>\n

domains
\nname, addr = string
\npredicates
\nperson(name,addr)
\nprint_all()
\nclauses
\nperson(tom,city1).
\nperson(jim,city2).
\nperson(ann,city3).
\nperson(lize,city1).
\nperson(tata,city4).
\nperson(kat,city5).
\nprint_all():-
\n\t\tperson(Name,Addr),
\n\t\twrite(«\\nName=»,Name,», Address=»,Addr),
\n\t\tfail.
\ngoal
\n\tprint_all.\t<\/p>\n

predicates
\n nacionalnost(symbol)
\n sport(symbol)
\n kto_kakoy_nacionalnosty(symbol,symbol,symbol)
\n kto_kakym_sportom_uvlekaetsya(symbol,symbol,symbol)<\/p>\n

clauses
\n nacionalnost(amerikanec).
\n nacionalnost(izrailtyanen).
\n nacionalnost(avstraliec).<\/p>\n

sport(basketbol).
\n sport(tenis).
\n sport(kriket).<\/p>\n

kto_kakoy_nacionalnosty(M,S,R):-
\n nacionalnost(M),
\n nacionalnost(S),
\n nacionalnost(R),
\n M<>S,
\n M<>R,
\n S<>R,
\n not(M=amerikanec),
\n S=izrailtyanen.<\/p>\n

kto_kakym_sportom_uvlekaetsya(M,S,R):-
\n sport(M),
\n sport(S),
\n sport(R),
\n M<>S,
\n M<>R,
\n S<>R,
\n M=basketbol,
\n not(S=tenis).<\/p>\n

goal
\n kto_kakoy_nacionalnosty(Maik,Saimon,Richard) or
\n kto_kakym_sportom_uvlekaetsya(Maik,Saimon,Richard).<\/p>\n

predicates
\nflower(symbol)
\ngrow(symbol, symbol, symbol)
\nclauses
\nflower(roses).
\nflower(margaretes).
\nflower(ann_ey).<\/p>\n

grow(R, M, A):-
\nflower(R),
\nflower(M),
\nflower(A),
\nR<>M,
\nM<>A,
\nR<>A,
\nnot(R=roses),
\nnot(M=margaretes),
\nnot(A=ann_ey),
\nnot(R=margaretes).
\ngoal
\ngrow(Rose,Margaret,Ann).<\/p>\n","protected":false},"excerpt":{"rendered":"

predicates man(symbol) woman(symbol) parent(symbol, symbol) %shurin(symbol) zolovka(symbol) clauses<\/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\/23966"}],"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=23966"}],"version-history":[{"count":1,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23966\/revisions"}],"predecessor-version":[{"id":23967,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23966\/revisions\/23967"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23966"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23966"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23966"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}