\u041b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430 \u21166.
\n\u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u044d\u043a\u0441\u043f\u0435\u0440\u0442\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c<\/p>\n
domains
\ndatabase
\n xpositive(symbol,symbol)
\n xnegative(symbol,symbol)
\npredicates
\n
\n begin_analis
\n result
\n ask(symbol,symbol)
\n diagnoz(symbol)
\n it_is(symbol)
\n positive(symbol,symbol)
\n negative(symbol,symbol)
\n remember(symbol,symbol,symbol)
\n clear_db<\/p>\n
clauses
\n % User interface
\n begin_analis :-
\n nl,write(«***********************************************************************************************************»),
\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 \u0434\u0438\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a\u0438 \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0435\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440\u043e\u0432, \u0441\u043a\u0430\u043d\u0435\u0440\u043e\u0432, \u043a\u043e\u043f\u0438\u0440\u043e\u0432.»),
\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 \u043e \u0441\u0438\u043c\u043f\u0442\u043e\u043c\u0430\u0445 \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0438 y-\u0434\u0430, n-\u043d\u0435\u0442:»),
\n\t\tnl,write(«***********************************************************************************************************»),
\n nl,nl,
\n result,
\n write(«\u041d\u0430\u0436\u043c\u0438\u0442\u0435 \u043f\u0440\u043e\u0431\u0435\u043b.»),
\n nl,
\n exit.
\n result :-
\n diagnoz(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,
\n write(«\u0414\u0438\u0430\u0433\u043d\u043e\u0437 \u043d\u0435 \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043b\u0435\u043d.»),
\n clear_db.
\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.
\n%————————————————————————————————————
\n diagnoz(«M\u0435\u0445\u0430\u043d\u0438\u0447\u0435\u0441\u043a\u0438\u0439 \u0438\u0437\u043d\u043e\u0441\u0430 \u043f\u043e\u0434\u0432\u0438\u0436\u043d\u044b\u0445 \u0447\u0430\u0441\u0442\u0435\u0439 \u0433\u043e\u043b\u043e\u0432\u043a\u0438») :-
\n it_is(«\u041c\u0430\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u044c \u043f\u0435\u0447\u0430\u0442\u0430\u044e\u0449\u0435\u0439 \u0433\u043e\u043b\u043e\u0432\u043a\u0438 «),
\n \/*positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u0432\u0440\u0430\u0449\u0435\u043d\u0438\u0435 \u0431\u0430\u0440\u0430\u0431\u0430\u043d\u0430»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0432\u0440\u0430\u0449\u0435\u043d\u0438\u044f \u0431\u0430\u0440\u0430\u0431\u0430\u043d\u0430 \u0432 \u0434\u0440\u0443\u0433\u0443\u044e \u0441\u0442\u043e\u0440\u043e\u043d\u0443»),*\/!.
\n diagnoz(«\u041d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u0435 \u0446\u0435\u043b\u043e\u0441\u0442\u043d\u043e\u0441\u0442\u0438 \u0448\u043b\u0435\u0439\u0444\u0430 \u043f\u0435\u0447\u0430\u0442\u0430\u044e\u0449\u0435\u0439 \u0433\u043e\u043b\u043e\u0432\u043a\u0438») :-
\n it_is(«\u041c\u0430\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u0443 \u0432\u0430\u0441»,»\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u0435\u0447\u0430\u0442\u044c»),
\n positive(«\u0443 \u0432\u0430\u0441»,»\u043d\u0435 \u043a\u043e\u0440\u0435\u0442\u043d\u043e \u043d\u0430\u043f\u0435\u0447\u0430\u0442\u0430\u043d\u044b \u0441\u0438\u043c\u0432\u043e\u043b\u044b»),
\n positive(«\u0443 \u0432\u0430\u0441»,»\u043f\u043e\u0432\u0440\u0435\u0436\u0434\u0435\u043d \u0448\u043b\u0435\u0439\u0444»),!.
\n diagnoz(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0438 \u0442\u0440\u0430\u043a\u0442\u0430 \u043f\u0440\u043e\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0431\u0443\u043c\u0430\u0433\u0438») :-
\n it_is(«\u041c\u0430\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u0432\u044b»,»\u0438\u043d\u0442\u0435\u043d\u0441\u0438\u0432\u043d\u043e \u0435\u0433\u043e \u0438 \u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0435»),
\n positive(«\u0443 \u0432\u0430\u0441»,»\u043d\u0435 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442 \u0431\u0443\u043c\u0430\u0433\u0430»),
\n positive(«\u0432\u044b»,»\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0435 \u043f\u043e\u0434\u0445\u043e\u0434\u044f\u0449\u0443\u044e \u0431\u0443\u043c\u0430\u0433\u0443»),
\n positive(«\u0432\u044b»,»\u0443\u0432\u0435\u0440\u0435\u043d\u044b \u0447\u0442\u043e \u0447\u0442\u043e \u0442\u0443\u0434\u0430 \u043d\u0435 \u043f\u043e\u043f\u0430\u043b \u043c\u0443\u0441\u043e\u0440»),!.
\n diagnoz(«\u0421\u0433\u043e\u0440\u0435\u043b \u0431\u043b\u043e\u043a \u043f\u0438\u0442\u0430\u043d\u0438\u044f») :-
\n it_is(«\u041c\u0430\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u044b\u0439 \u0437\u0430\u043f\u0430\u0445 \u0438\u0437 \u043a\u043e\u0440\u043f\u0443\u0441\u0430»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0434\u044b\u043c\u0430»),!.
\n diagnoz(«\u0411\u043b\u043e\u043a \u043f\u0438\u0442\u0430\u043d\u0438\u044f \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u0435\u043d») :-
\n it_is(«\u041c\u0430\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0437\u0430\u043f\u0430\u0445\u043e\u0432 \u0433\u043e\u0440\u0435\u043b\u043e\u0433\u043e»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435 \u0441\u0435\u0442\u0435\u0432\u043e\u0433\u043e \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),!.
\n%————————————————————————————————————
\n\t diagnoz(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0438 \u043f\u0435\u0447\u0430\u0442\u0430\u044e\u0449\u0438\u0445 \u0433\u043e\u043b\u043e\u0432\u043e\u043a») :-
\n it_is(«\u0421\u0442\u0440\u0443\u0439\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u0431\u044b\u043b\u0438»,»\u0434\u043b\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0435 \u043f\u0435\u0440\u0435\u0440\u044b\u0432\u044b \u0432 \u044d\u043a\u0441\u043f\u043b\u0443\u0430\u0442\u0430\u0446\u0438\u0438»),
\n positive(«\u0431\u044b\u043b\u0438 «,»\u043f\u043e\u043f\u044b\u0442\u043a\u0438 \u043d\u0435\u043a\u0432\u0430\u043b\u0438\u0444\u0438\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0439 \u0437\u0430\u043f\u0440\u0430\u0432\u043a\u0438 \u0438 \u043e\u0447\u0438\u0441\u0442\u043a\u0438»),!.
\n diagnoz(«\u041d\u0430\u0440\u0443\u0448\u0435\u043d\u0438\u0435 \u0446\u0435\u043b\u043e\u0441\u0442\u043d\u043e\u0441\u0442\u0438 \u0448\u043b\u0435\u0439\u0444\u0430 \u043f\u0435\u0447\u0430\u0442\u0430\u044e\u0449\u0435\u0439 \u0433\u043e\u043b\u043e\u0432\u043a\u0438») :-
\n it_is(«\u0421\u0442\u0440\u0443\u0439\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u0443 \u0432\u0430\u0441»,»\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043f\u0435\u0447\u0430\u0442\u044c»),
\n positive(«\u0443 \u0432\u0430\u0441»,»\u043d\u0435 \u043a\u043e\u0440\u0435\u0442\u043d\u043e \u043d\u0430\u043f\u0435\u0447\u0430\u0442\u0430\u043d\u044b \u0441\u0438\u043c\u0432\u043e\u043b\u044b»),
\n positive(«\u0443 \u0432\u0430\u0441»,»\u043f\u043e\u0432\u0440\u0435\u0436\u0434\u0435\u043d \u0448\u043b\u0435\u0439\u0444»),!.
\n diagnoz(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0438 \u0442\u0440\u0430\u043a\u0442\u0430 \u043f\u0440\u043e\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0431\u0443\u043c\u0430\u0433\u0438») :-
\n it_is(«\u0421\u0442\u0440\u0443\u0439\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u0432\u044b»,»\u0438\u043d\u0442\u0435\u043d\u0441\u0438\u0432\u043d\u043e \u0435\u0433\u043e \u0438 \u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0435»),
\n positive(«\u0443 \u0432\u0430\u0441»,»\u043d\u0435 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442 \u0431\u0443\u043c\u0430\u0433\u0430»),
\n positive(«\u0432\u044b»,»\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0435 \u043f\u043e\u0434\u0445\u043e\u0434\u044f\u0449\u0443\u044e \u0431\u0443\u043c\u0430\u0433\u0443»),
\n positive(«\u0432\u044b»,»\u0443\u0432\u0435\u0440\u0435\u043d\u044b \u0447\u0442\u043e \u0447\u0442\u043e \u0442\u0443\u0434\u0430 \u043d\u0435 \u043f\u043e\u043f\u0430\u043b \u043c\u0443\u0441\u043e\u0440»),!.
\n diagnoz(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0438 \u0443\u0437\u043b\u0430 \u043e\u0447\u0438\u0441\u0442\u043a\u0438 \u0433\u043e\u043b\u043e\u0432\u043e\u043a») :-
\n it_is(«\u0421\u0442\u0440\u0443\u0439\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u044b\u0439 \u0437\u0430\u043f\u0430\u0445 \u0438\u0437 \u043a\u043e\u0440\u043f\u0443\u0441\u0430»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0434\u044b\u043c\u0430»),!.
\n diagnoz(«\u0411\u043b\u043e\u043a \u043f\u0438\u0442\u0430\u043d\u0438\u044f \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u0435\u043d») :-
\n it_is(«\u0421\u0442\u0440\u0443\u0439\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u0447\u0430\u0441\u0442\u044b\u0435 \u043f\u0440\u043e\u0447\u0438\u0441\u0442\u043a\u0438 \u0433\u043e\u043b\u043e\u0432\u043e\u043a»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u0438\u043d\u0442\u0435\u043d\u0441\u0438\u0432\u043d\u0430\u044f \u044d\u043a\u0441\u043f\u043b\u0443\u0430\u0442\u0430\u0446\u0438\u044f \u0441\u043e \u0441\u043c\u0435\u043d\u043e\u0439 \u043a\u0430\u0440\u0442\u0440\u0438\u0434\u0436\u0435\u0439»),!.
\n diagnoz(«\u0421\u0433\u043e\u0440\u0435\u043b \u0431\u043b\u043e\u043a \u043f\u0438\u0442\u0430\u043d\u0438\u044f») :-
\n it_is(«\u0421\u0442\u0440\u0443\u0439\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u044b\u0439 \u0437\u0430\u043f\u0430\u0445 \u0438\u0437 \u043a\u043e\u0440\u043f\u0443\u0441\u0430»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0434\u044b\u043c\u0430»),!.
\n diagnoz(«\u0411\u043b\u043e\u043a \u043f\u0438\u0442\u0430\u043d\u0438\u044f \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u0435\u043d») :-
\n it_is(«\u0421\u0442\u0440\u0443\u0439\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0437\u0430\u043f\u0430\u0445\u043e\u0432 \u0433\u043e\u0440\u0435\u043b\u043e\u0433\u043e»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435 \u0441\u0435\u0442\u0435\u0432\u043e\u0433\u043e \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),!.
\n%————————————————————————————————————
\n\t diagnoz(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0438 \u0443\u0437\u043b\u0430 \u0437\u0430\u043a\u0440\u0435\u043f\u043b\u0435\u043d\u0438\u044f \u0438\u0437\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u044f») :-
\n it_is(«\u041b\u0430\u0437\u0435\u0440\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u0435\u0440\u0435\u043d\u0430\u0433\u0440\u0435\u0432 \u044d\u043b\u0435\u043a\u0442\u0440\u043e\u043d\u043d\u043e\u0433\u043e \u0431\u043b\u043e\u043a\u0430 \u0443\u043f\u0440\u0430\u0432\u043b\u0435\u043d\u0438\u044f»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u0432\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 \u0442\u0435\u0440\u043c\u043e\u043f\u043b\u0435\u043d\u043a\u0438 «),!.
\n diagnoz(«\u041f\u043e\u0432\u0440\u0435\u0436\u0434\u0435\u043d\u0438\u0435 \u043a\u0430\u0440\u0442\u0440\u0438\u0434\u0436\u0430 (\u0447\u0430\u0449\u0435 \u0432\u0441\u0435\u0433\u043e — \u0444\u043e\u0442\u043e\u0431\u0430\u0440\u0430\u0431\u0430\u043d\u0430) \u0438\u043b\u0438 \u043b\u0430\u0437\u0435\u0440\u043d\u043e\u0439 \u0433\u043e\u043b\u043e\u0432\u043a\u0438») :-
\n it_is(«\u041b\u0430\u0437\u0435\u0440\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043b\u043e\u0445\u043e\u0439 \u043f\u0435\u0440\u0435\u043d\u043e\u0441\u0430 \u0438\u0437\u043e\u0431\u0440\u0430\u0436\u0435\u043d\u0438\u044f «),!.
\n diagnoz(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0438 \u0442\u0440\u0430\u043a\u0442\u0430 \u043f\u0440\u043e\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0431\u0443\u043c\u0430\u0433\u0438») :-
\n it_is(«\u041b\u0430\u0437\u0435\u0440\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u0432\u044b»,»\u0438\u043d\u0442\u0435\u043d\u0441\u0438\u0432\u043d\u043e \u0435\u0433\u043e \u0438 \u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0435»),
\n positive(«\u0432\u044b»,»\u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0435 \u043f\u043e\u0434\u0445\u043e\u0434\u044f\u0449\u0443\u044e \u0431\u0443\u043c\u0430\u0433\u0443»),
\n positive(«\u0432\u044b»,»\u0443\u0432\u0435\u0440\u0435\u043d\u044b \u0447\u0442\u043e \u0442\u0443\u0434\u0430 \u043f\u043e\u043f\u0430\u043b \u043c\u0443\u0441\u043e\u0440»),!.
\n diagnoz(«\u0421\u0433\u043e\u0440\u0435\u043b \u0431\u043b\u043e\u043a \u043f\u0438\u0442\u0430\u043d\u0438\u044f») :-
\n it_is(«\u041b\u0430\u0437\u0435\u0440\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u044b\u0439 \u0437\u0430\u043f\u0430\u0445 \u0438\u0437 \u043a\u043e\u0440\u043f\u0443\u0441\u0430»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0434\u044b\u043c\u0430»),!.
\n diagnoz(«\u0411\u043b\u043e\u043a \u043f\u0438\u0442\u0430\u043d\u0438\u044f \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u0435\u043d») :-
\n it_is(«\u041b\u0430\u0437\u0435\u0440\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0437\u0430\u043f\u0430\u0445\u043e\u0432 \u0433\u043e\u0440\u0435\u043b\u043e\u0433\u043e»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435 \u0441\u0435\u0442\u0435\u0432\u043e\u0433\u043e \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),!.
\n%————————————————————————————————————
\n diagnoz(«\u0412\u044b\u0445\u043e\u0434 \u0438\u0437 \u0441\u0442\u0440\u043e\u044f \u0438\u043d\u0432\u0435\u0440\u0442\u043e\u0440\u0430 \u043b\u0430\u043c\u043f\u044b \u043f\u043e\u0434\u0441\u0432\u0435\u0442\u043a\u0438») :-
\n it_is(«\u0421\u043a\u0430\u043d\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u043d\u0430\u044f \u0431\u0435\u0433\u0443\u0449\u0430\u044f \u043f\u043e\u043b\u043e\u0441\u043a\u0430 \u0441\u0432\u0435\u0442\u0430 \u043f\u0440\u0438 \u0441\u043a\u0430\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u0442\u0435\u043c\u043d\u044b\u0439 \u043f\u0440\u044f\u043c\u043e\u0443\u0433\u043e\u043b\u044c\u043d\u0438\u043a \u043a\u0430\u043a \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0441\u043a\u0430\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f»),!.
\n\t diagnoz(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u044c \u043c\u0435\u0445\u0430\u043d\u0438\u043a\u0438 \u0441\u043a\u0430\u043d\u0438\u0440\u0443\u044e\u0449\u0435\u0439 \u0433\u043e\u043b\u043e\u0432\u043a\u0438») :-
\n it_is(«\u0421\u043a\u0430\u043d\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u0433\u043e\u043b\u043e\u0432\u043a\u0430 \u0441\u043a\u0440\u0438\u043f\u0438\u0442»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043d\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0430»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043b\u043e\u0445\u043e\u0439 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u043a\u0430\u043d\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f»),!.
\n diagnoz(«\u0421\u0433\u043e\u0440\u0435\u043b \u0431\u043b\u043e\u043a \u043f\u0438\u0442\u0430\u043d\u0438\u044f») :-
\n it_is(«\u0421\u043a\u0430\u043d\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043d\u0435\u043f\u0440\u0438\u044f\u0442\u043d\u044b\u0439 \u0437\u0430\u043f\u0430\u0445 \u0438\u0437 \u043a\u043e\u0440\u043f\u0443\u0441\u0430»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u044f\u0432\u043b\u0435\u043d\u0438\u0435 \u0434\u044b\u043c\u0430»),!.
\n diagnoz(«\u0411\u043b\u043e\u043a \u043f\u0438\u0442\u0430\u043d\u0438\u044f \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u0435\u043d») :-
\n it_is(«\u0421\u043a\u0430\u043d\u0435\u0440»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435 \u0437\u0430\u043f\u0430\u0445\u043e\u0432 \u0433\u043e\u0440\u0435\u043b\u043e\u0433\u043e»),
\n positive(«\u043d\u0430\u0431\u043b\u044e\u0434\u0430\u0435\u0442\u0441\u044f»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435 \u0441\u0435\u0442\u0435\u0432\u043e\u0433\u043e \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),!.
\n%————————————————————————————————————
\n it_is(«\u0421\u043a\u0430\u043d\u0435\u0440») :-
\n positive(«\u0423 \u0432\u0430\u0441 «,»\u0441\u043a\u0430\u043d\u0435\u0440»),!.<\/p>\n
it_is(«\u041c\u0430\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440») :-
\n positive(«\u0423 \u0432\u0430\u0441»,»\u043c\u0430\u0442\u0440\u0438\u0447\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),!.<\/p>\n
it_is(«\u0421\u0442\u0440\u0443\u0439\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440») :-
\n positive(«\u0423 \u0432\u0430\u0441»,»\u0441\u0442\u0440\u0443\u0439\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),!.<\/p>\n
it_is(«\u041b\u0430\u0437\u0435\u0440\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440») :-
\n positive(«\u0423 \u0432\u0430\u0441»,»\u043b\u0430\u0437\u0435\u0440\u043d\u044b\u0439 \u043f\u0440\u0438\u043d\u0442\u0435\u0440»),!.<\/p>\n
goal<\/p>\n
begin_analis.<\/p>\n","protected":false},"excerpt":{"rendered":"
\u041b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u043d\u0430\u044f \u0440\u0430\u0431\u043e\u0442\u0430 \u21166. \u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u044d\u043a\u0441\u043f\u0435\u0440\u0442\u043d\u044b\u0445 \u0441\u0438\u0441\u0442\u0435\u043c domains database xpositive(symbol,symbol) xnegative(symbol,symbol) predicates<\/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\/23984"}],"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=23984"}],"version-history":[{"count":1,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23984\/revisions"}],"predecessor-version":[{"id":23985,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23984\/revisions\/23985"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23984"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23984"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23984"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}