{"id":23986,"date":"2012-12-24T16:58:29","date_gmt":"2012-12-24T13:58:29","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=23986"},"modified":"2012-12-24T16:58:29","modified_gmt":"2012-12-24T13:58:29","slug":"%d1%81%d0%b8%d1%81%d1%82%d0%b5%d0%bc%d0%b0-%d1%81%d0%b8%d1%81%d1%82%d0%b5%d0%bc%d0%b0-%d0%bd%d0%b0%d1%81%d1%82%d1%80%d0%be%d0%b9%d0%ba%d0%b8-%d0%be%d1%81-wndows","status":"publish","type":"post","link":"https:\/\/studentpmr.ru\/?p=23986","title":{"rendered":"\u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u041d\u0430\u0441\u0442\u0440\u043e\u0439\u043a\u0438 \u041e\u0421 Wndows"},"content":{"rendered":"

database
\n xpositive(symbol,symbol)
\n xnegative(symbol,symbol)<\/p>\n

predicates<\/p>\n

begin_analis
\n result
\n ask(symbol,symbol)
\n virus_is(symbol)
\n it_is(symbol)
\n positive(symbol,symbol)
\n negative(symbol,symbol)
\n remember(symbol,symbol,symbol)
\n clear_db
\n
\nclauses
\n % User interface
\n begin_analis :-
\n nl,write(«***\u0412\u0430\u0441 \u043f\u0440\u0438\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u041d\u0430\u0441\u0442\u0440\u043e\u0439\u043a\u0438 \u041e\u0421 Wndows***»),
\n nl,write(«\u041e\u0442\u0432\u0435\u0447\u0430\u0439\u0442\u0435 \u043d\u0430 \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0441\u0438\u0441\u0442\u0435\u043c\u044b y-\u0434\u0430, n-\u043d\u0435\u0442:»),
\n nl,nl,
\n result,
\n write(«\u041d\u0430\u0436\u043c\u0438\u0442\u0435 \u043f\u0440\u043e\u0431\u0435\u043b.»),nl,
\n exit.
\n result :-
\n virus_is(X),!,nl,
\n write(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u044c: «,X,».»),nl,
\n clear_db.
\n result :-
\n nl,write(«\u0412\u0430\u0448\u0430 \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u043c\u0430 \u043d\u0435 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u0430 «),
\n clear_db.<\/p>\n

ask(X,Y) :-
\n write(X, » «, Y,» ?»),
\n readln(Reply),
\n remember(X,Y,Reply).<\/p>\n

% Output mechanism
\n positive(X,Y) :-
\n xpositive(X,Y),!.
\n positive(X,Y) :-
\n not(negative(X,Y)),!,
\n ask(X,Y).<\/p>\n

negative(X,Y) :-
\n xnegative(X,Y),!.<\/p>\n

remember(X,Y,y) :-
\n asserta(xpositive(X,Y)).\t% \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043e\u0442\u0432\u0435\u0442\u0430
\n remember(X,Y,n) :-
\n asserta(xnegative(X,Y)),\t% \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043e\u0442\u0432\u0435\u0442\u0430
\n fail.<\/p>\n

clear_db :-
\n retract(xpositive(_,_)),\t% \u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043e\u0442\u0432\u0435\u0442\u043e\u0432
\n fail.
\n clear_db :-
\n retract(xnegative(_,_)),\t% \u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043e\u0442\u0432\u0435\u0442\u043e\u0432
\n fail.<\/p>\n

% Rules
\n virus_is(«\u0412\u044b\u0431\u0440\u0430\u043d \u043d\u0435\u0432\u0435\u0440\u043d\u044b\u0439 \u0440\u0435\u0436\u0438\u043c \u043f\u0435\u0440\u0435\u0434\u0430\u0447\u0438 \u0434\u0430\u043d\u043d\u044b\u0445. \u041f\u043e\u0441\u0442\u0430\u0432\u0442\u0435 \u0440\u0435\u0436\u0438\u043c DMA.») :-
\n it_is(«\u041e\u0421 \u0434\u043e\u043b\u0433\u043e \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u0442\u044c\u0441\u044f»),
\n\t\t positive(«»,»\u043a\u0443\u0440\u0441\u043e\u0440 \u043c\u044b\u0448\u0438 \u0434\u0432\u0438\u0433\u0430\u0435\u0442\u044c\u0441\u044f \u043f\u0440\u0435\u0440\u044b\u0432\u0438\u0441\u0442\u043e»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\\»\u0437\u0430\u0432\u0438\u0441\u0430\u043d\u0438\u0435\\» \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043f\u0440\u0438 \u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0438 \u043a \u0432\u0438\u043d\u0447\u0435\u0441\u0442\u0435\u0440\u0443 \u0438\u043b\u0438 CD-Rom»),!.<\/p>\n

virus_is(«\u041d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043e\u0447\u043d\u043e \u043e\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0439 \u043f\u0430\u043c\u044f\u0442\u0438. \u041f\u043e \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u0438 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0439\u0442\u0435 \u043a\u0430\u043a \u043c\u043e\u0436\u043d\u043e \u043c\u0435\u043d\u044c\u0448\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c \u043e\u0434\u043d\u043e\u0432\u0440\u0435\u043c\u0435\u043d\u043d\u043e») :-
\n it_is(«\u041e\u0421 \u0434\u043e\u043b\u0433\u043e \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u0442\u044c\u0441\u044f»),
\n\t\t positive(«»,»\u043a\u0443\u0440\u0441\u043e\u0440 \u043c\u044b\u0448\u0438 \u0434\u0432\u0438\u0433\u0430\u0435\u0442\u044c\u0441\u044f \u043f\u0440\u0435\u0440\u044b\u0432\u0438\u0441\u0442\u043e»),!.<\/p>\n

virus_is(«\u0421\u043b\u0438\u0448\u043a\u043e\u043c \u043c\u043d\u043e\u0433\u043e \u043f\u0440\u043e\u0448\u0440\u0430\u043c\u043c \u043d\u0430\u0445\u043e\u0434\u044f\u0442\u044c\u0441\u044f \u0432 \u0430\u0432\u0442\u043e\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0435, \u0443\u0434\u0430\u043b\u0438\u0442\u0435 \u043d\u0435\u043d\u0443\u0436\u043d\u044b\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b») :-
\n it_is(«\u041e\u0421 \u0434\u043e\u043b\u0433\u043e \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u0442\u044c\u0441\u044f»),
\n positive(«\u043f\u0440\u043e\u0431\u043b\u0435\u043c\u043c\u044b \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0442\u044c\u0441\u044f \u043f\u043e\u0441\u043b\u0435 \u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u044f \u044d\u043a\u0440\u0430\u043d\u0430 \u043f\u0440\u0438\u0432\u0435\u0442\u0435\u0442\u0441\u0442\u0432\u0438\u044f»,»»),!.<\/p>\n

virus_is(«\u0412\u0430\u0448 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440 \u0437\u0430\u0440\u0430\u0436\u0435\u043d \u0432\u0438\u0440\u0443\u0441\u043e\u043c, \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0435 \u0430\u043d\u0442\u0438\u0432\u0438\u0440\u0443\u0441\u043d\u043e\u0435 \u041f\u041e»):-
\n it_is(«\u041e\u0421 \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u0442\u044c\u0441\u044f \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e»),
\n positive(«\u0418\u0433\u0440\u044b \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043b\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0432 \u0440\u0430\u043d\u0435\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u044b\u0445 \u0440\u0435\u0436\u0438\u043c\u0430\u0445»,»»),
\n positive(«\u041a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440 \u0441\u0430\u043c\u043e\u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e \u0432\u044b\u043a\u043b\u044e\u0447\u0430\u0435\u0442\u044c\u0441\u044f \u0438 \u043f\u0435\u0440\u0435\u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u0442\u044c\u0441\u044f»,»»),
\n positive(«\u041a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440 \u0442\u043e\u0440\u043c\u043e\u0437\u0438\u0442»,»»),!.<\/p>\n

virus_is(«\u041e\u0421 \u0441\u043b\u0438\u0448\u043a\u043b\u043c \u0441\u0438\u043b\u044c\u043d\u043e \u0437\u0430\u0441\u043e\u0440\u0435\u043d\u0430. \u041f\u0435\u0440\u0435\u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0435 \u0435\u0451.») :-
\n it_is(«\u041e\u0421 \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u0442\u044c\u0441\u044f \u043d\u043e\u043c\u0430\u043b\u044c\u043d\u043e»),
\n positive(«\u041a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440 \u0442\u043e\u0440\u043c\u043e\u0437\u0438\u0442, \u043d\u043e \u043d\u0435 \u0432\u0441\u0435\u0433\u0434\u0430»,»»),!.
\n% positive(«\u0418\u0433\u0440\u044b \u043f\u0435\u0440\u0435\u0441\u0442\u0430\u043b\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0432 \u0440\u0430\u043d\u0435\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u044b\u0445 \u0440\u0435\u0436\u0438\u043c\u0430\u0445»,»»),!.<\/p>\n

it_is(«\u041e\u0421 \u0434\u043e\u043b\u0433\u043e \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u0442\u044c\u0441\u044f») :-
\n positive(«\u041e\u0421»,»\u0437\u0430\u0433\u0440\u0443\u0436\u0435\u0442\u044c\u0441\u044f \u0441\u043b\u0438\u0448\u043a\u043e\u043c \u0434\u043e\u043b\u0433\u043e»),!.<\/p>\n

it_is(«\u041e\u0421 \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u0442\u044c\u0441\u044f \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e») :-
\n positive(«\u041e\u0421»,»\u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u0442\u044c\u0441\u044f \u043d\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e»),!.<\/p>\n

goal<\/p>\n

begin_analis.<\/p>\n","protected":false},"excerpt":{"rendered":"

database xpositive(symbol,symbol) xnegative(symbol,symbol) predicates begin_analis result ask(symbol,symbol) virus_is(symbol) it_is(symbol) positive(symbol,symbol) negative(symbol,symbol) remember(symbol,symbol,symbol) clear_db<\/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\/23986"}],"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=23986"}],"version-history":[{"count":0,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23986\/revisions"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23986"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23986"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23986"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}