{"id":23974,"date":"2012-12-24T16:18:59","date_gmt":"2012-12-24T13:18:59","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=23974"},"modified":"2012-12-24T16:18:59","modified_gmt":"2012-12-24T13:18:59","slug":"%d1%84%d0%b0%d0%ba%d1%82%d1%8b-%d0%b8-%d0%bf%d1%80%d0%b0%d0%b2%d0%b8%d0%bb%d0%b0-%d0%bd%d0%b0-%d0%bf%d1%80%d0%be%d0%bb%d0%be%d0%b3%d0%b5-%d0%be%d1%81%d0%bd%d0%be%d0%b2%d0%bd%d1%8b%d0%b5-%d0%bf%d1%80","status":"publish","type":"post","link":"https:\/\/studentpmr.ru\/?p=23974","title":{"rendered":"\u0424\u0430\u043a\u0442\u044b \u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u041e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u043f\u0440\u0438\u0435\u043c\u044b \u0440\u0430\u0431\u043e\u0442\u044b \u0432 Visual Prolog"},"content":{"rendered":"

\u041b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430 \u21161
\n\u0422\u0435\u043c\u0430: \u0424\u0430\u043a\u0442\u044b \u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u041e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u043f\u0440\u0438\u0435\u043c\u044b \u0440\u0430\u0431\u043e\u0442\u044b \u0432 Visual Prolog
\n\u0412\u044b\u043f\u043e\u043b\u043d\u0438\u043b\u0430<\/p>\n

5.9 \u041d\u0430\u043f\u0438\u0448\u0438\u0442\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0431\u044b, \u0438\u043c\u0435\u044f \u0444\u0430\u043a\u0442\u044b (\u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b): \u043c\u0443\u0436\u0447\u0438\u043d\u0430(\u043a\u0442\u043e), \u0436\u0435\u043d\u0449\u0438\u043d\u0430(\u043a\u0442\u043e), \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u044c(\u043a\u0442\u043e,\u0447\u0435\u0439). \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u043b\u0430 \u0431\u044b, \u043a\u0442\u043e \u043a\u043e\u043c\u0443 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u043d\u0443\u0447\u0430\u0442\u044b\u043c \u043f\u043b\u0435\u043c\u044f\u043d\u043d\u0438\u043a\u043e\u043c, \u043f\u043b\u0435\u043c\u044f\u043d\u043d\u0438\u0446\u0435\u0439.
\n
\n\/* \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab1_5.9 PRO *\/
\npredicates
\n\tperens(symbol, symbol)
\n\tvplemnik(symbol, symbol)
\n\tvplemnica(symbol, symbol)
\n\tman(symbol)
\n\twoman(symbol)
\nclauses
\n\tperens(barbara,lisa).
\n\tperens(anna,katya).
\n\tperens(anna,petr).
\n\tperens(tatiana,mihail).
\n\tperens(dmitriy,mihail).
\n\tperens(valera,nikolay).
\n\tperens(liza,alex).
\n\tperens(katya,juli).
\n\tperens(petr,alex).
\n\tperens(petr,alexandr).
\n\tperens(mihail,juli).
\n\tperens(nikolay,raisa).
\n\tperens(alex,kostya).
\n\tperens(alexandr,lyuda).
\n\tperens(juli,lyuda).
\n\tperens(raisa,kostya).
\n\tman(sergev).
\n\tman(dmitriy).
\n\tman(valera).
\n\tman(petr).
\n\tman(mihail).
\n\tman(nikolay).
\n\tman(alex).
\n\tman(alexandr).
\n\tman(kostya).
\n\twoman(barbara).
\n\twoman(anna).
\n\twoman(tatiana).
\n\twoman(liza).
\n\twoman(katya).
\n\twoman(jyli).
\n\twoman(raisa).
\n\twoman(lyuda).
\nvplemnik(X,Y):-perens(A,Y), perens(A,B), perens(B,D),
\n perens(D,X), B<>Y,man(X).
\nvplemnica(X,Y):-perens(A,Y),perens(A,B),perens(B,D), perens(D,X),B<>Y,woman(X).<\/p>\n

goal\t\/* (\u0426\u0435\u043b\u044c) \u0437\u0430\u043f\u0440\u043e\u0441: *\/
\n\tvplemnik(X,Y);
\n\tvplemnica(X,Y).<\/p>\n

\t6.4 \u0414\u043e\u0431\u0430\u0432\u0438\u0432 \u043a \u0443\u0441\u043b\u043e\u0432\u0438\u044e \u0437\u0430\u0434\u0430\u043d\u0438\u044f 5 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 \u0441\u0443\u043f\u0440\u0443\u0433(\u043a\u0442\u043e, \u0447\u0435\u0439), \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c, \u043a\u0442\u043e \u043a\u043e\u043c\u0443 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043d\u0435\u0432\u0435\u0441\u0442\u043a\u043e\u0439, \u0437\u044f\u0442\u0435\u043c<\/p>\n

\/* \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab1_5.9 PRO *\/
\npredicates
\n\tperens(symbol, symbol)
\n\tsyprygi(symbol, symbol)
\n\tziat(symbol, symbol)
\n\tnevestka(symbol, symbol)
\n\tman(symbol)
\n\twoman(symbol)
\nclauses
\n\tperens(barbara,lisa).
\n\tperens(anna,katya).
\n\tperens(anna,petr).
\n\tperens(tatiana,mihail).
\n\tperens(dmitriy,mihail).
\n\tperens(valera,nikolay).
\n\tperens(liza,alex).
\n\tperens(katya,juli).
\n\tperens(petr,alex).
\n\tperens(petr,alexandr).
\n\tperens(mihail,juli).
\n\tperens(nikolay,raisa).
\n\tperens(alex,kostya).
\n\tperens(alexandr,lyuda).
\n\tperens(juli,lyuda).
\n\tperens(raisa,kostya).<\/p>\n

\tman(sergev).
\n\tman(dmitriy).
\n\tman(valera).
\n\tman(petr).
\n\tman(mihail).
\n\tman(nikolay).
\n\tman(alex).
\n\tman(alexandr).
\n\tman(kostya).<\/p>\n

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

\tsyprygi(X,Y):-perens(X,A), perens(Y,A),X<>Y.<\/p>\n

\tziat(X,Y):-perens(Y,D),syprygi(D,X),man(X).
\n\tnevestka(X,Y):-syprygi(X,D),perens(Y,D),woman(X).<\/p>\n

goal\t\/* (\u0426\u0435\u043b\u044c) \u0437\u0430\u043f\u0440\u043e\u0441: *\/
\n\tziat(X,Y);
\n\tnevestka(X,Y).<\/p>\n","protected":false},"excerpt":{"rendered":"

\u041b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430 \u21161 \u0422\u0435\u043c\u0430: \u0424\u0430\u043a\u0442\u044b \u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u041e\u0441\u043d\u043e\u0432\u043d\u044b\u0435 \u043f\u0440\u0438\u0435\u043c\u044b \u0440\u0430\u0431\u043e\u0442\u044b \u0432 Visual Prolog \u0412\u044b\u043f\u043e\u043b\u043d\u0438\u043b\u0430 5.9 \u041d\u0430\u043f\u0438\u0448\u0438\u0442\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0431\u044b, \u0438\u043c\u0435\u044f \u0444\u0430\u043a\u0442\u044b (\u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b): \u043c\u0443\u0436\u0447\u0438\u043d\u0430(\u043a\u0442\u043e), \u0436\u0435\u043d\u0449\u0438\u043d\u0430(\u043a\u0442\u043e), \u0440\u043e\u0434\u0438\u0442\u0435\u043b\u044c(\u043a\u0442\u043e,\u0447\u0435\u0439). \u041e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u043b\u0430 \u0431\u044b, \u043a\u0442\u043e \u043a\u043e\u043c\u0443 \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0432\u043d\u0443\u0447\u0430\u0442\u044b\u043c \u043f\u043b\u0435\u043c\u044f\u043d\u043d\u0438\u043a\u043e\u043c, \u043f\u043b\u0435\u043c\u044f\u043d\u043d\u0438\u0446\u0435\u0439.<\/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\/23974"}],"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=23974"}],"version-history":[{"count":1,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23974\/revisions"}],"predecessor-version":[{"id":23975,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23974\/revisions\/23975"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23974"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23974"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23974"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}