{"id":23970,"date":"2012-12-24T16:17:34","date_gmt":"2012-12-24T13:17:34","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=23970"},"modified":"2012-12-24T16:17:34","modified_gmt":"2012-12-24T13:17:34","slug":"%d1%84%d1%83%d0%bd%d0%ba%d1%86%d0%b8%d0%be%d0%bd%d0%b0%d0%bb%d1%8c%d0%bd%d0%be%d0%b5-%d0%b8-%d0%bb%d0%be%d0%b3%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%be%d0%b5-%d0%bf%d1%80%d0%be%d0%b3%d1%80%d0%b0%d0%bc-2","status":"publish","type":"post","link":"https:\/\/studentpmr.ru\/?p=23970","title":{"rendered":"\u0424\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435 \u0438 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435 &#8212; \u043b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u043d\u044b\u0435. \u0427\u0430\u0441\u0442\u044c 2."},"content":{"rendered":"<p>domains<br \/>\n       intlist=integer*<\/p>\n<p>predicates<\/p>\n<p> cr_list (intlist,intlist)        \t\t% \u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0441\u043f\u0438\u0441\u043a\u0430<br \/>\n do                                     \t\t% \u0413\u043b\u0430\u0432\u043d\u0430\u044f \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430<br \/>\n list (intlist)                     \t\t% \u0412\u044b\u0432\u043e\u0434 \u0441\u043f\u0438\u0441\u043a\u0430 &#8212; \u043b\u0435\u0432\u0430\u044f \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f<br \/>\n length(intlist,integer)        \t\t% \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0434\u043b\u0438\u043d\u044b \u0441\u043f\u0438\u0441\u043a\u0430 (\u043b\u0435\u0432\u0430\u044f \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f)<br \/>\n app_el (integer,intlist,intlist) \t\t% \u0414\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0432 \u043d\u0430\u0447\u0430\u043b\u043e \u0441\u043f\u0438\u0441\u043a\u0430<br \/>\n<!--more--><\/p>\n<p>clauses<\/p>\n<p> list([]).<br \/>\n list([X|T]):-list(T),write(X,&#187; &#171;).<\/p>\n<p> app_el(X,L,[X|L]).<\/p>\n<p> cr_list(List,NewList):-readint(X),<br \/>\n                X<>111,!,<br \/>\n                app_el(X,List,TempList),<br \/>\n                cr_list(TempList,Newlist).<\/p>\n<p> cr_list(List,List).<\/p>\n<p> length([],0).<br \/>\n length([_|Xs],N):- length(Xs,N1),N=N1+1.<\/p>\n<p>do:-<br \/>\n      write(&#171;\u0412\u0432\u0435\u0434\u0438\u0442\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u0441\u043f\u0438\u0441\u043a\u0430. \u041f\u0440\u0438\u0437\u043d\u0430\u043a \u043e\u043a\u043e\u043d\u0447\u0430\u043d\u0438\u044f \u0432\u0432\u043e\u0434\u0430 &#8212; 111.&#187;),nl,<br \/>\n      cr_list([],Nlist),!,nl,<br \/>\n      list(NList),nl,<br \/>\n      length(NList,N),<br \/>\n      write(&#171;\u041a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0441\u043f\u0438\u0441\u043a\u0430 => &#171;,N),nl.<\/p>\n<p>goal<br \/>\n       do.   <\/p>\n<p>domains<br \/>\n       stringlist=string*<\/p>\n<p>predicates<\/p>\n<p> cr_list (stringlist,stringlist)        \t\t% \u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0441\u043f\u0438\u0441\u043a\u0430<br \/>\n do                                     \t\t% \u0413\u043b\u0430\u0432\u043d\u0430\u044f \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430<br \/>\n list (stringlist)                       \t\t% \u0412\u044b\u0432\u043e\u0434 \u0441\u043f\u0438\u0441\u043a\u0430 &#8212; \u043f\u0440\u0430\u0432\u0430\u044f \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f<br \/>\n app_el (string,stringlist,stringlist) \t\t% \u0414\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0432 \u043d\u0430\u0447\u0430\u043b\u043e \u0441\u043f\u0438\u0441\u043a\u0430<br \/>\n sort(stringlist,stringlist)<br \/>\n insert(string, stringlist,stringlist)<br \/>\nclauses<\/p>\n<p>sort([X|Xs],Ys):-sort(Xs,Zs), insert(X,Zs,Ys).<br \/>\nsort ([ ], [ ]).<br \/>\ninsert (X,[],[X]).<br \/>\ninsert (X, [Y | Ys], [Y | Zs]):- X > Y, insert (X, Ys, Zs).<\/p>\n<p>insert(X,[Y|Ys],[X,Y|Ys]):-X<=Y.\n\nlist([]).\nlist([X|XS]):-write(X,\"\\n\"),list(Xs).\n \napp_el(X,L,[X|L]).\n \ncr_list(List,NewList):-readln(X),\n                X<>&#171;0&#187;,!,<br \/>\n                app_el(X,List,TempList),<br \/>\n                cr_list(TempList,Newlist).<\/p>\n<p>cr_list(List,List).<\/p>\n<p>do:-<br \/>\n      write(&#171;\u0412\u0432\u0435\u0434\u0438\u0442\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u0441\u043f\u0438\u0441\u043a\u0430. \u041f\u0440\u0438\u0437\u043d\u0430\u043a \u043e\u043a\u043e\u043d\u0447\u0430\u043d\u0438\u044f \u0432\u0432\u043e\u0434\u0430 &#8212; 0.&#187;),nl,<br \/>\n      cr_list([],Nlist),!,nl,<br \/>\n      sort(Nlist,Nlist1),<br \/>\n      write(&#171;\u043e\u0442\u0441\u043e\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a \u0441\u043b\u043e\u0432\\n\\n&#187;),<br \/>\n      list(Nlist1), nl, nl.<br \/>\ngoal<br \/>\n       do.   <\/p>\n<p>domains<br \/>\n  inttree = tree(integer,inttree,inttree); end<\/p>\n<p>predicates<br \/>\n  nondeterm do(inttree)<br \/>\n  action(integer,inttree,inttree)<br \/>\n  create_tree(inttree,inttree)<br \/>\n  insert(integer,inttree,inttree)<br \/>\n  write_tree(inttree)<br \/>\n  sumtree(inttree,integer)<br \/>\n  nondeterm repeat<br \/>\nclauses<br \/>\n  do(Tree):-<br \/>\n\trepeat,nl,<br \/>\n\twrite(&#171;*******************************************************&#187;),nl,<br \/>\n\twrite(&#171;\u0412\u0432\u0435\u0434\u0438\u0442\u0435 1 \u0434\u043b\u044f \u0438\u0437\u043c\u0435\u043d\u0435\u043d\u0438\u044f \u0434\u0435\u0440\u0435\u0432\u0430\\n&#187;),<br \/>\n\twrite(&#171;\u0412\u0432\u0435\u0434\u0438\u0442\u0435 2 \u0434\u043b\u044f \u0432\u044b\u0432\u043e\u0434\u0430 \u0434\u0435\u0440\u0435\u0432\u0430\\n&#187;),<br \/>\n\twrite(&#171;\u0412\u0432\u0435\u0434\u0438\u0442\u0435 3 \u0434\u043b\u044f \u0432\u044b\u0432\u043e\u0434\u0430 \u0441\u0443\u043c\u043c\u044b\\n&#187;),<br \/>\n\twrite(&#171;\u0412\u0432\u0435\u0434\u0438\u0442\u0435 999 \u0434\u043b\u044f \u0432\u044b\u0445\u043e\u0434\u0430 \u0438\u0437 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b\\n&#187;),<br \/>\n\twrite(&#171;*******************************************************&#187;),nl,<br \/>\n\twrite(&#171;Enter number &#8212; &#171;),<br \/>\n\treadint(X),nl,<br \/>\n\taction(X, Tree, NewTree),<br \/>\n\tdo(NewTree).<\/p>\n<p>  action(1,Tree,NewTree):-<br \/>\n\twrite(&#171;\u0412\u0432\u0435\u0434\u0438\u0442\u0435 999 \u0434\u043b\u044f \u043e\u043a\u043e\u043d\u0447\u0430\u043d\u0438\u044f \u0432\u0432\u043e\u0434\u0430\\n&#187;),<br \/>\n\tcreate_Tree(Tree, NewTree).<br \/>\n  action(2,Tree,Tree):-<br \/>\n\twrite_Tree(Tree),<br \/>\n\twrite(&#171;\\nPress a key to continue&#187;),<br \/>\n\treadint(_),nl.<br \/>\n  action(3,Tree,Tree):-<br \/>\n\tsumtree(Tree, Sum),<br \/>\n\twrite(&#171;\u0421\u0443\u043c\u043c\u0430 \u0432\u0435\u0440\u0448\u0438\u043d \u0434\u0435\u0440\u0435\u0432\u0430 \u0440\u0430\u0432\u043d\u0430 &#171;, Sum, &#171;\\n&#187;),<br \/>\n\twrite(&#171;\\nPress a key to continue&#187;).<\/p>\n<p>  action(999, _, end):-<br \/>\n\texit.<\/p>\n<p>  create_Tree(Tree, NewTree):-<br \/>\n\treadint(C),<br \/>\n\tC<>999,!,<br \/>\n\tinsert(C, Tree, TempTree),<br \/>\n\tcreate_Tree(TempTree, NewTree).<br \/>\n\tcreate_Tree(Tree, Tree).<\/p>\n<p>  insert(New,end,tree(New,end,end)):-!.<br \/>\n  insert(New,tree(Element,Left,Right),tree(Element,NewLeft,Right)):-<br \/>\n\tNew<Element,!,\n\tinsert(New,Left,NewLeft).\n  insert(New,tree(Element,Left,Right),tree(Element,Left,NewRight)):-\n\tinsert(New,Right,NewRight).\n\n  write_Tree(end).\n  write_Tree(tree(Item,Left,Right)):-\n\twrite_Tree(Left),\n\twrite(Item, \" \"),\n\twrite_Tree(Right).\n\n  repeat.\n  repeat:-repeat.\n\n  sumtree(end,Sum):-Sum=0.\n  sumtree(tree(Element, Left, Right), Sum):- \n  sumtree(Left,Sum1),\n  sumtree(Right,Sum2),\n  Sum=Sum1+Sum2+Element.\ngoal\n  write(\"*************** \u041e\u0442\u0441\u043e\u0440\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u043e\u0435 \u0434\u0435\u0440\u0435\u0432\u043e *******************\"),nl,\n  do(end).\n\n\n\n\nDOMAINS\ntreetype = tree (integer, treetype, treetype); empty\n\npredicates\ntree_sum (treetype,integer)\n\nclauses\ntree_sum (empty,0). \n\ntree_sum(tree(X,L,R),N):-\n              tree_sum (L,N1), \n              tree_sum (R,N2), \n              N=N1+N2+X. \n              \ngoal\nA=tree( 2,  tree (7,empty, empty),  tree (3,  tree  (4, empty, empty),\n tree (1, empty, empty))), tree_sum(A,X).\n\n\n\n\n\ndatabase            \n                 xpositive(symbol,symbol)\n                 xnegative(symbol,symbol)\n                 \npredicates\n            \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            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.\n                 \n            ask(X,Y) :-\n                write(X, \" \", Y,\" ?\"),\n                readln(Reply),\n                remember(X,Y,Reply).\n                 \n            positive(X,Y) :-\n                  xpositive(X,Y),!.\n            positive(X,Y) :-\n                  not(negative(X,Y)),!,\n                  ask(X,Y).\n                  \n            negative(X,Y) :-\n                 xnegative(X,Y),!.\n                 \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.\n                 \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            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\"),!.\n                 \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\"),!.\n                 \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\",\"\"),!.\n                 \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\",\"\"),!.\n                 \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\",\"\"),!.\n                              \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\"),!.\n                 \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\"),!.\n                 \n            goal\n            \n                begin_analis.\n\n\n\n\n\n\n\n\n\n\n<\/p>\n","protected":false},"excerpt":{"rendered":"<p>domains intlist=integer* predicates cr_list (intlist,intlist) % \u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u0441\u043f\u0438\u0441\u043a\u0430 do % \u0413\u043b\u0430\u0432\u043d\u0430\u044f \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u0430 list (intlist) % \u0412\u044b\u0432\u043e\u0434 \u0441\u043f\u0438\u0441\u043a\u0430 &#8212; \u043b\u0435\u0432\u0430\u044f \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f length(intlist,integer) % \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0435 \u0434\u043b\u0438\u043d\u044b \u0441\u043f\u0438\u0441\u043a\u0430 (\u043b\u0435\u0432\u0430\u044f \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f) app_el (integer,intlist,intlist) % \u0414\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0432 \u043d\u0430\u0447\u0430\u043b\u043e \u0441\u043f\u0438\u0441\u043a\u0430<\/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\/23970"}],"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=23970"}],"version-history":[{"count":1,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23970\/revisions"}],"predecessor-version":[{"id":23971,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23970\/revisions\/23971"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23970"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23970"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23970"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}