{"id":1530,"date":"2009-02-19T17:38:12","date_gmt":"2009-02-19T14:38:12","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=1530"},"modified":"2009-02-19T17:38:12","modified_gmt":"2009-02-19T14:38:12","slug":"%d0%b8%d1%81%d0%bf%d0%be%d0%bb%d1%8c%d0%b7%d0%be%d0%b2%d0%b0%d0%bd%d0%b8%d0%b5-%d0%bf%d1%80%d0%b5%d0%b4%d0%b8%d0%ba%d0%b0%d1%82%d0%be%d0%b2-fail-not-cut-%d0%bd%d0%b5%d1%83%d1%81%d0%bf%d0%b5%d1%85","status":"publish","type":"post","link":"https:\/\/studentpmr.ru\/?p=1530","title":{"rendered":"\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u0435 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u043e\u0432 fail, not, cut (\u043d\u0435\u0443\u0441\u043f\u0435\u0445, \u043e\u0442\u0440\u0438\u0446\u0430\u043d\u0438\u0435 \u0438 \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435)."},"content":{"rendered":"<p>\u041f\u0440\u0435\u0434\u0438\u043a\u0430\u0442  cut (\u0438\u043b\u0438 ! ) \u2013 \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u2013 \u0435\u0433\u043e \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0435 \u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0432 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0438 \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u0430 \u043f\u043e\u0438\u0441\u043a\u0430 \u043f\u0440\u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0438 \u0437\u0430 \u0441\u0447\u0435\u0442 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0441\u043e\u043a\u0440\u0430\u0449\u0435\u043d\u0438\u044f \u0434\u0435\u0440\u0435\u0432\u0430 \u043f\u043e\u0438\u0441\u043a\u0430. \u041e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0434\u043b\u044f \u043e\u0442\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u043d\u0438\u044f \u0431\u0435\u0441\u043f\u043b\u043e\u0434\u043d\u044b\u0445 \u043f\u0443\u0442\u0435\u0439 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u043c\u043e\u0433\u0443\u0442 \u043f\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043a \u0440\u0435\u0448\u0435\u043d\u0438\u044e.\u00a0<!--more--><br \/>\n\u041e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0433\u0443\u0442 \u0431\u044b\u0442\u044c \u0442\u0430\u043a\u0436\u0435  \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u044b \u0443\u043c\u044b\u0448\u043b\u0435\u043d\u043d\u043e \u0438\u043b\u0438 \u043f\u043e \u043d\u0435\u0434\u043e\u0441\u043c\u043e\u0442\u0440\u0443 \u0434\u043b\u044f \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043f\u0443\u0442\u0435\u0439  \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043e\u0433\u0443\u0442 \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0442\u044c \u0440\u0435\u0448\u0435\u043d\u0438\u044f. \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c  \u043c\u043e\u0436\u043d\u043e \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0441\u043b\u0430\u0431\u0443\u044e \u0444\u043e\u0440\u043c\u0443 \u043e\u0442\u0440\u0438\u0446\u0430\u043d\u0438\u044f.<br \/>\n?\t\u041e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u043e\u0442\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u0435\u0442 \u0432\u0441\u0435 \u0440\u0430\u0441\u043f\u043e\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0435 \u043f\u043e\u0441\u043b\u0435 \u043d\u0435\u0433\u043e \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u044f (\u043f\u0440\u0430\u0432\u0438\u043b\u0430). \u0415\u0441\u043b\u0438 \u0446\u0435\u043b\u044c \u0440 \u0443\u043d\u0438\u0444\u0438\u0446\u0438\u0440\u043e\u0432\u0430\u043d\u0430 \u0441 \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0435\u043c, \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0449\u0438\u043c \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435, \u0438 \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u043e, \u0442\u043e \u044d\u0442\u0430 \u0446\u0435\u043b\u044c \u043d\u0435 \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0430 \u0434\u043b\u044f \u043f\u043e\u0441\u0442\u0440\u043e\u0435\u043d\u0438\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u0439 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0439, \u0440\u0430\u0441\u043f\u043e\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 \u043d\u0438\u0436\u0435  \u0434\u0430\u043d\u043d\u043e\u0433\u043e.<br \/>\n?\t\u041e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u043e\u0442\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u0435\u0442 \u0432\u0441\u0435 \u0430\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u043d\u044b\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f \u043a\u043e\u043d\u044a\u044e\u043d\u043a\u0446\u0438\u0439 \u0446\u0435\u043b\u0435\u0439, \u0440\u0430\u0441\u043f\u043e\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0445 \u0432 \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u0438 \u043b\u0435\u0432\u0435\u0435 \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u044f, \u0442.\u0435. \u043a\u043e\u043d\u044a\u044e\u043d\u043a\u0446\u0438\u044f \u0446\u0435\u043b\u0435\u0439, \u0441\u0442\u043e\u044f\u0449\u0438\u0445 \u043f\u0435\u0440\u0435\u0434 \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435\u043c, \u043f\u0440\u0438\u0432\u043e\u0434\u0438\u0442 \u043d\u0435 \u0431\u043e\u043b\u0435\u0435 \u043a \u0447\u0435\u043c \u043e\u0434\u043d\u043e\u043c\u0443 \u0440\u0435\u0448\u0435\u043d\u0438\u044e.<br \/>\n?\t\u0421 \u0434\u0440\u0443\u0433\u043e\u0439 \u0441\u0442\u043e\u0440\u043e\u043d\u044b, \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u043d\u0435 \u0432\u043b\u0438\u044f\u0435\u0442 \u043d\u0430 \u0446\u0435\u043b\u0438, \u0440\u0430\u0441\u043f\u043e\u043b\u043e\u0436\u0435\u043d\u043d\u044b\u0435 \u043f\u0440\u0430\u0432\u0435\u0435 \u0435\u0433\u043e. \u0412 \u0441\u043b\u0443\u0447\u0430\u0435 \u0432\u043e\u0437\u0432\u0440\u0430\u0442\u0430 \u043e\u043d\u0438 \u043c\u043e\u0433\u0443\u0442  \u043f\u043e\u0440\u043e\u0436\u0434\u0430\u0442\u044c \u0431\u043e\u043b\u0435\u0435 \u043e\u0434\u043d\u043e\u0433\u043e \u0440\u0435\u0448\u0435\u043d\u0438\u044f. \u041d\u043e \u0435\u0441\u043b\u0438 \u044d\u0442\u0430 \u043a\u043e\u043d\u044a\u044e\u043d\u043a\u0446\u0438\u044f \u043d\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u0441\u044f, \u0442\u043e \u043f\u043e\u0438\u0441\u043a \u043f\u0435\u0440\u0435\u0445\u043e\u0434\u0438\u0442 \u043a \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u043c\u0443 \u0432\u044b\u0431\u043e\u0440\u0443, \u0441\u0434\u0435\u043b\u0430\u043d\u043d\u043e\u043c\u0443 \u043f\u0435\u0440\u0435\u0434 \u0432\u044b\u0431\u043e\u0440\u043e\u043c \u043f\u0440\u0435\u0434\u043b\u043e\u0436\u0435\u043d\u0438\u044f, \u0441\u043e\u0434\u0435\u0440\u0436\u0430\u0449\u0435\u0433\u043e \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435.<br \/>\n\u041f\u0440\u0438\u043c\u0435\u0440 1:  \u0412\u044b\u0447\u0438\u0441\u043b\u0438\u0442\u044c<br \/>\n\u0412\u0430\u0440\u0438\u0430\u043d\u0442 1.\t\t\t\t\t\t\t\u0412\u0430\u0440\u0438\u0430\u043d\u0442 2.<br \/>\n\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab2_1.pro\t\t\t\t\t\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab2_2.pro<br \/>\ndomains\t\t\t\t\t\t\tdomains<br \/>\nargument =real \t\t\t\t\t\targument =real<br \/>\nresult =real\t\t\t\t\t\t\tresult =real<br \/>\npredicates\t\t\t\t\t\t\tpredicates<br \/>\nfunc(argument, result)\t\t\t\t\t\tfunc(argument, result)<br \/>\nclauses\t\t\t\t\t\t\t\tclauses<br \/>\nfunc(X,0):- X&lt;3,!.\t\t\t\t\t\t func(X,0):- X&lt;3,!.<br \/>\nfunc(X,2):- X&gt;=3,X&lt;6,!.\t\t\t\t\t func(X,2):- X&lt;6,!.<br \/>\nfunc(X,4):- X&gt;=6.\t\t\t\t\t\t func(X,4).<br \/>\ngoal\t\t\t\t\t\t\t\tgoal\t\t\t\t\t\t func(-2,X).\t\t\t\t\t\t\t func(-2,X).<\/p>\n<p>\u0421 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0436\u043d\u043e \u043e\u043f\u0438\u0441\u0430\u0442\u044c \u0432\u0437\u0430\u0438\u043c\u043e\u0438\u0441\u043a\u043b\u044e\u0447\u0430\u044e\u0449\u0438\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430, \u043f\u043e\u044d\u0442\u043e\u043c\u0443 \u0435\u0441\u0442\u044c \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0437\u0430\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435  \u00ab\u0415\u0441\u043b\u0438 \u0420, \u0442\u043e Q, \u0438\u043d\u0430\u0447\u0435 R\u00bb<\/p>\n<p>\u0412\u043d\u0438\u043c\u0430\u043d\u0438\u0435 !!!: \u0412\u043b\u0438\u044f\u043d\u0438\u0435 \u043f\u043e\u043b\u043e\u0436\u0435\u043d\u0438\u044f \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u0441\u043c\u044b\u0441\u043b \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f:<\/p>\n<p>1)  p:-a, b.\t\t\t\tp  \u0435\u0441\u043b\u0438 (\u0430 \u0438 b) \u0438\u043b\u0438 \u0441.<br \/>\np:-c.<\/p>\n<p>2)  p:- a,!,b.\t\t\t            p \u0435\u0441\u043b\u0438 (a \u0438 b ) \u0438\u043b\u0438 (\u043d\u0435 a \u0438 \u0441)<br \/>\np:-c.<\/p>\n<p>3)  p:-c.\t\t\t\tp \u0435\u0441\u043b\u0438 \u0441 \u0438\u043b\u0438 (a \u0438 b)<br \/>\np:- a,!,b.<br \/>\nC\u043a\u0430\u0437\u0430\u0442\u044c \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435, \u0447\u0442\u043e \u0447\u0442\u043e-\u0442\u043e \u043d\u0435 \u0435\u0441\u0442\u044c \u0438\u0441\u0442\u0438\u043d\u0430, \u043c\u043e\u0436\u043d\u043e \u043f\u0440\u0438 \u043f\u043e\u043c\u043e\u0449\u0438 \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u043e\u0439 \u0446\u0435\u043b\u0438 fail (\u043d\u0435\u0443\u0441\u043f\u0435\u0445), \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u0441\u0435\u0433\u0434\u0430 \u0442\u0435\u0440\u043f\u0438\u0442 \u043d\u0435\u0443\u0434\u0430\u0447\u0443, \u0437\u0430\u0441\u0442\u0430\u0432\u043b\u044f\u044f \u043f\u043e\u0442\u0435\u0440\u043f\u0435\u0442\u044c \u043d\u0435\u0443\u0434\u0430\u0447\u0443 \u0438 \u0442\u0443 \u0446\u0435\u043b\u044c, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0441\u0442\u043e\u0438\u0442 \u0432 \u0437\u0430\u0433\u043e\u043b\u043e\u0432\u043a\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 (\u0446\u0435\u043b\u044c-\u0440\u043e\u0434\u0438\u0442\u0435\u043b\u044c). \u0423\u0447\u0438\u0442\u044b\u0432\u0430\u044f \u0432\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0439 \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c \u043f\u043e\u0438\u0441\u043a\u0430 \u0441 \u0432\u043e\u0437\u0432\u0440\u0430\u0442\u043e\u043c, fail \u0437\u0430\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u043d\u0435 \u043f\u0440\u0435\u043a\u0440\u0430\u0449\u0430\u0442\u044c \u043f\u043e\u0438\u0441\u043a, \u0430 \u0438\u0441\u043a\u0430\u0442\u044c \u0432\u0441\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f.<br \/>\n\u0410\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u043e, \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u044c\u043d\u0430\u044f \u0446\u0435\u043b\u044c true (\u0443\u0441\u043f\u0435\u0445), \u0432\u0441\u0435\u0433\u0434\u0430 \u0443\u0441\u043f\u0435\u0448\u043d\u0430, \u0438\u0441\u0442\u0438\u043d\u043d\u0430.<\/p>\n<p>\u041f\u0440\u0438\u043c\u0435\u0440 2: \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab2_3.pro<br \/>\npredicates<br \/>\nage (symbol,integer) % \u0432\u043e\u0437\u0440\u0430\u0441\u0442 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 \u0432 \u043f\u0440\u0438\u0437\u044b\u0432\u043d\u0438\u043a\u0438<br \/>\nman (symbol)\t\t % \u043f\u043e\u043b \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 \u0432 \u043f\u0440\u0438\u0437\u044b\u0432\u043d\u0438\u043a\u0438<br \/>\narmy(symbol)\t\t % \u043f\u0440\u0438\u0437\u044b\u0432\u043d\u0438\u043a<br \/>\nclauses<br \/>\nage(petr,18).<br \/>\nage(dima,17).<br \/>\nage(nik,18).<\/p>\n<p>man(petr).<br \/>\nman(dima).<br \/>\nman(nik).<\/p>\n<p>army(X):- man(X), age (X,Y), Y&gt;=18.<br \/>\ngoal<br \/>\narmy(X).<\/p>\n<p>\u041f\u0440\u0438 \u0437\u0430\u0434\u0430\u043d\u0438\u0438 \u0446\u0435\u043b\u0438 \u00ab\u041a\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043f\u0440\u0438\u0437\u0432\u0430\u043d \u0432 \u0430\u0440\u043c\u0438\u044e?\u00bb (  army(X)  ), \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u043e\u0442\u0432\u0435\u0442\u0438\u0442:<br \/>\nX=petr<br \/>\nX=nik<\/p>\n<p>\u041f\u0440\u0438\u043c\u0435\u0440 3: \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab2_4.pro<\/p>\n<p>DOMAINS<\/p>\n<p>name, addr = string<\/p>\n<p>PREDICATES<br \/>\nperson(name,addr)<br \/>\nprint_all()<\/p>\n<p>CLAUSES<br \/>\nperson(tom,city1).<br \/>\nperson(jim,city2).<br \/>\nperson(ann,city3).<br \/>\nperson(lize,city1).<br \/>\nperson(tata,city4).<br \/>\nperson(kat,city5).<\/p>\n<p>print_all():-<br \/>\nperson(Name,Addr),<br \/>\nwrite(&#171;\\nName=&#187;,Name,&#187;, Address=&#187;,Addr),<br \/>\nfail.<br \/>\ngoal<br \/>\nprint_all.<br \/>\n(\u041a\u0430\u043a\u043e\u0432 \u0431\u0443\u0434\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432\u044b\u043f\u043e\u043b\u043d\u0435\u043d\u0438\u044f \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b?)<\/p>\n<p>\u041f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 not \u043c\u043e\u0436\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c: \u0435\u0441\u043b\u0438 \u0426\u0435\u043b\u044c \u0443\u0441\u043f\u0435\u0448\u043d\u0430, \u0442\u043e  not(\u0426\u0435\u043b\u044c) \u043d\u0435\u0443\u0441\u043f\u0435\u0448\u043d\u0430, \u0438\u043d\u0430\u0447\u0435 not(\u0426\u0435\u043b\u044c)\u0443\u0441\u043f\u0435\u0448\u043d\u0430.<br \/>\n\u041d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u0443\u0447\u0435\u0441\u0442\u044c, \u0447\u0442\u043e  not, \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0439 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u043d\u0435\u0443\u0441\u043f\u0435\u0445\u0430, \u043d\u0435 \u043f\u043e\u043b\u043d\u043e\u0441\u0442\u044c\u044e \u0441\u043e\u043e\u0442\u0432\u0435\u0442\u0441\u0442\u0432\u0443\u0435\u0442 \u043e\u0442\u0440\u0438\u0446\u0430\u043d\u0438\u044e not \u0432 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u043b\u043e\u0433\u0438\u043a\u0435. \u042d\u0442\u0430 \u0440\u0430\u0437\u043d\u0438\u0446\u0430 \u043c\u043e\u0436\u0435\u0442 \u043f\u043e\u0440\u043e\u0434\u0438\u0442\u044c \u043d\u0435\u043e\u0436\u0438\u0434\u0430\u043d\u043d\u043e\u0441\u0442\u0438 \u0432 \u043f\u043e\u0432\u0435\u0434\u0435\u043d\u0438\u0438 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b, \u0435\u0441\u043b\u0438 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u043e\u043c not \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c\u0441\u044f \u043d\u0435\u0431\u0440\u0435\u0436\u043d\u043e.<\/p>\n<p>Not \u0442\u0430\u043a\u0436\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u044f. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440,<\/p>\n<p>\u0417\u0438\u043d\u0430 \u043b\u044e\u0431\u0438\u0442 \u0432\u0441\u04356\u0445 \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u0445, \u0437\u0430 \u0438\u0441\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u0435\u043c \u0437\u043c\u0435\u0439.<\/p>\n<p>\u043b\u044e\u0431\u0438\u0442(\u0437\u0438\u043d\u0430, \u0425):-\t\t\t\t\u043b\u044e\u0431\u0438\u0442(\u0437\u0438\u043d\u0430, \u0425):-<br \/>\n\u0437\u043c\u0435\u044f(\u0425),!, fail.\t\t\t\t\t\u0436\u0438\u0432\u043e\u0442\u043d\u043e\u0435(\u0425),<br \/>\n\u043b\u044e\u0431\u0438\u0442(\u0437\u0438\u043d\u0430, \u0425):-\t\t\t\t\tnot(\u0437\u043c\u0435\u044f(\u0425)).<br \/>\n\u0436\u0438\u0432\u043e\u0442\u043d\u043e\u0435(\u0425).<\/p>\n<p>\u0418\u043b\u0438 \u0440\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0435 \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b(X,Y), \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0432\u044b\u043f\u043e\u043b\u043d\u044f\u0435\u0442\u0441\u044f \u043a\u043e\u0433\u0434\u0430 X \u0438 Y \u043d\u0435 \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u044e\u0442 \u0432 \u0441\u043c\u044b\u0441\u043b\u0435: X \u0438 Y \u043d\u0435 \u0441\u043e\u0432\u043f\u0430\u0434\u0430\u044e\u0442 \u0431\u0443\u043a\u0432\u0430\u043b\u044c\u043d\u043e; \u0430\u0440\u0438\u0444\u043c\u0435\u0442\u0438\u0447\u0435\u0441\u043a\u0438 X ? Y; X \u0438 Y \u043d\u0435\u0441\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u0438\u043c\u044b.<br \/>\n\u0415\u0441\u043b\u0438 X \u0438 Y  \u0441\u043e\u043f\u043e\u0441\u0442\u0430\u0432\u0438\u043c\u044b, \u0442\u043e \u0446\u0435\u043b\u044c \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b(X,Y) \u0442\u0435\u0440\u043f\u0438\u0442 \u043d\u0435\u0443\u0441\u043f\u0435\u0445, \u0438\u043d\u0430\u0447\u0435 \u0446\u0435\u043b\u044c \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b(X,Y) \u0443\u0441\u043f\u0435\u0448\u043d\u0430.<\/p>\n<p>\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f ! \u0438 fail,  \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c:\t\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f not,  \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u043c:<\/p>\n<p>\u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b(X,\u0425):-!, fail.\t\t\u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b(X,Y):-not(X=Y).<br \/>\n\u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b(X,Y).<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u041f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 cut (\u0438\u043b\u0438 ! ) \u2013 \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u2013 \u0435\u0433\u043e \u043e\u0441\u043d\u043e\u0432\u043d\u043e\u0435 \u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0432 \u043e\u0433\u0440\u0430\u043d\u0438\u0447\u0435\u043d\u0438\u0438 \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u0430 \u043f\u043e\u0438\u0441\u043a\u0430 \u043f\u0440\u0438 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0438 \u0437\u0430 \u0441\u0447\u0435\u0442 \u0434\u0438\u043d\u0430\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u0441\u043e\u043a\u0440\u0430\u0449\u0435\u043d\u0438\u044f \u0434\u0435\u0440\u0435\u0432\u0430 \u043f\u043e\u0438\u0441\u043a\u0430. \u041e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u0435 \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0434\u043b\u044f \u043e\u0442\u0431\u0440\u0430\u0441\u044b\u0432\u0430\u043d\u0438\u044f \u0431\u0435\u0441\u043f\u043b\u043e\u0434\u043d\u044b\u0445 \u043f\u0443\u0442\u0435\u0439 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u0439, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043d\u0435 \u043c\u043e\u0433\u0443\u0442 \u043f\u0440\u0438\u0432\u0435\u0441\u0442\u0438 \u043a \u0440\u0435\u0448\u0435\u043d\u0438\u044e.\u00a0<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[55],"tags":[],"_links":{"self":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/1530"}],"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=1530"}],"version-history":[{"count":2,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/1530\/revisions"}],"predecessor-version":[{"id":1532,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/1530\/revisions\/1532"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1530"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1530"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1530"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}