{"id":321412,"date":"2021-04-14T09:00:27","date_gmt":"2021-04-14T09:00:27","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=321412"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=321412","title":{"rendered":"\u041b\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 \u043d\u0430 Prolog \u0434\u043b\u044f \u0447\u0430\u0439\u043d\u0438\u043a\u043e\u0432"},"content":{"rendered":"\n<div class=\"post__text post__text_v2\" id=\"post-content-body\">\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/4c2\/839\/64c\/4c283964c4b5ce39f69e9732bf10bbda.jpg\" alt=\"Prolog - \u0441\u0430\u043c\u044b\u0439 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u044f\u0437\u044b\u043a \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f\" title=\"Prolog - \u0441\u0430\u043c\u044b\u0439 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u044f\u0437\u044b\u043a \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f\" width=\"1200\" height=\"600\"><figcaption>Prolog &#8212; \u0441\u0430\u043c\u044b\u0439 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u044f\u0437\u044b\u043a \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f<\/figcaption><\/figure>\n<p>\u0412 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435:<\/p>\n<ol>\n<li>\n<p>\u0423\u0437\u043d\u0430\u0435\u043c, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0435 <em>\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<\/em> (<abbr title=\"\u041b\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\">\u041b\u041f<\/abbr>), \u0438 \u0435\u0433\u043e \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f<\/p>\n<\/li>\n<li>\n<p>\u0423\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043c \u0441\u0430\u043c\u044b\u0439 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u044f\u0437\u044b\u043a <abbr title=\"\u041b\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\">\u041b\u041f<\/abbr> &#8212; Prolog<\/p>\n<\/li>\n<li>\n<p>\u041d\u0430\u0443\u0447\u0438\u043c\u0441\u044f \u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u044b\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u043d\u0430 Prolog<\/p>\n<\/li>\n<li>\n<p>\u041d\u0430\u0443\u0447\u0438\u043c\u0441\u044f \u0441\u043f\u0438\u0441\u043a\u0430\u043c \u0432 Prolog<\/p>\n<\/li>\n<li>\n<p>\u0420\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u0430 \u0438 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438 Prolog.<\/p>\n<\/li>\n<\/ol>\n<p>\u042d\u0442\u0430 \u0441\u0442\u0430\u0442\u044c\u044f \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043b\u0435\u0437\u043d\u0430 \u0434\u043b\u044f \u0442\u0435\u0445, \u043a\u0442\u043e:<\/p>\n<ol>\n<li>\n<p>\u0418\u043d\u0442\u0435\u0440\u0435\u0441\u0443\u0435\u0442\u0441\u044f \u043d\u0435\u043e\u0431\u044b\u0447\u043d\u044b\u043c\u0438 \u043f\u043e\u0434\u0445\u043e\u0434\u0430\u043c\u0438 \u0438 \u0440\u0430\u0441\u0448\u0438\u0440\u044f\u0435\u0442 \u0441\u0432\u043e\u0439 \u043a\u0440\u0443\u0433\u043e\u0437\u043e\u0440<\/p>\n<\/li>\n<li>\n<p>\u041d\u0430\u0447\u0438\u043d\u0430\u0435\u0442 \u0438\u0437\u0443\u0447\u0430\u0442\u044c Prolog (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432 \u0438\u043d\u0441\u0442\u0438\u0442\u0443\u0442\u0435)<\/p>\n<\/li>\n<\/ol>\n<p>\u041c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u041c\u0438\u0445\u0430\u0438\u043b \u0413\u043e\u0440\u043e\u0445\u043e\u0432, \u0438 \u044d\u0442\u0430 \u0441\u0442\u0430\u0442\u044c\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0430 \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u0432\u0443\u0437\u043e\u0432\u0441\u043a\u043e\u0433\u043e \u043a\u0443\u0440\u0441\u043e\u0432\u043e\u0433\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0430. \u0412 \u043f\u0435\u0440\u0432\u0443\u044e \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u044d\u0442\u0430 \u0441\u0442\u0430\u0442\u044c\u044f \u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0430 \u043d\u0430 \u0441\u0442\u0443\u0434\u0435\u043d\u0442\u043e\u0432 <abbr title=\"\u041f\u0440\u0438\u043a\u043b\u0430\u0434\u043d\u0430\u044f \u041c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430\">\u041f\u041c<\/abbr> \u0438 <abbr title=\"\u041f\u0440\u0438\u043a\u043b\u0430\u0434\u043d\u0430\u044f \u041c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430 \u0438 \u0418\u043d\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u043a\u0430\">\u041f\u041c\u0418<\/abbr>, \u043d\u0430 \u0434\u043e\u043b\u044e \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0432\u044b\u043f\u0430\u043b\u043e \u0438\u0437\u0443\u0447\u0435\u043d\u0438\u0435 \u043f\u0440\u0435\u043a\u0440\u0430\u0441\u043d\u043e\u0433\u043e \u043c\u043e\u0449\u043d\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 Prolog, \u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0438\u0437\u0443\u0447\u0430\u0442\u044c \u0441\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u043d\u043e \u043d\u043e\u0432\u044b\u0439 \u0438 \u043d\u0435\u043f\u0440\u0438\u0432\u044b\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043d\u0438\u0445 \u043f\u043e\u0434\u0445\u043e\u0434. \u041f\u0435\u0440\u0432\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u043e\u043d \u0434\u0430\u0436\u0435 \u0433\u043e\u043b\u043e\u0432\u0443 \u043b\u043e\u043c\u0430\u0435\u0442. <s>\u041e\u0441\u043e\u0431\u0435\u043d\u043d\u043e \u043b\u044e\u0431\u0438\u0442\u0435\u043b\u044f\u043c \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438.<\/s><\/p>\n<p>\u0412 \u043a\u043e\u043d\u0446\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u044f \u043e\u0441\u0442\u0430\u0432\u043b\u044e \u043f\u043e\u043b\u0435\u0437\u043d\u044b\u0435 \u0441\u0441\u044b\u043b\u043a\u0438. \u0415\u0441\u043b\u0438 \u0443 \u0432\u0430\u0441 \u043e\u0441\u0442\u0430\u043d\u0443\u0442\u0441\u044f \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u2014 \u043f\u0438\u0448\u0438\u0442\u0435 \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445!<\/p>\n<h2>\u041b\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<\/h2>\n<p>\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0440\u0430\u0437\u043d\u044b\u0435 \u043f\u043e\u0434\u0445\u043e\u0434\u044b \u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044e. \u0427\u0430\u0441\u0442\u043e \u0432\u044b\u0434\u0435\u043b\u044f\u044e\u0442 \u0442\u0430\u043a\u0438\u0435 \u043f\u0430\u0440\u0430\u0434\u0438\u0433\u043c\u044b \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f:<\/p>\n<ul>\n<li>\n<p>\u0418\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0435 (\u043e\u043d\u043e \u0436\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0435). \u0421\u0430\u043c\u0430\u044f \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u0430\u044f \u043f\u0430\u0440\u0430\u0434\u0438\u0433\u043c\u0430. \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0447\u0435\u0442\u043a\u043e \u043f\u0440\u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043a\u043e\u043c\u0430\u043d\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440. \u041f\u0440\u0438\u043c\u0435\u0440\u044b: C\/C++, Java, C#, Python, Golang, \u043c\u0430\u0448\u0438\u043d\u0430 \u0422\u044e\u0440\u044c\u043d\u0433\u0430, \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b \u041c\u0430\u0440\u043a\u043e\u0432\u0430. \u0412\u0441\u0435 \u0447\u0435\u0442\u043a\u043e, \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e <s>\u043a\u0430\u043a \u043d\u0430\u0434\u043e<\/s>. \u0421\u0438\u043d\u043e\u043d\u0438\u043c \u0438\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0433\u043e \u2014 \u043f\u0440\u0438\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435.<\/p>\n<\/li>\n<li>\n<p>\u0410\u043f\u043b\u0438\u043a\u0430\u0442\u0438\u0432\u043d\u043e\u0435 (\u0424\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435). \u041c\u0435\u043d\u0435\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u0430\u044f, \u043d\u043e \u0442\u043e\u0436\u0435 \u0448\u0438\u0440\u043e\u043a\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0430\u044f. \u041f\u0440\u0438\u043c\u0435\u0440\u044b \u044f\u0437\u044b\u043a\u043e\u0432: Haskell, F#, \u041b\u0438\u0441\u043f. \u041e\u0441\u043d\u043e\u0432\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043d\u0430 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u0438 \u043b\u044f\u043c\u0431\u0434\u0430 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f\u0445. \u0411\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0447\u0438\u0441\u0442\u044b\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044f\u043c \u043e\u0447\u0435\u043d\u044c \u0443\u0434\u043e\u0431\u043d\u043e \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u0438\u0442\u044c \u0442\u0430\u043a\u0438\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b. \u0427\u0438\u0441\u0442\u044b\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u2014 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0431\u0435\u0437 \u043f\u043e\u0431\u043e\u0447\u043d\u044b\u0445 \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432. \u0415\u0441\u043b\u0438 \u0442\u0430\u043a\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u043e\u0434\u043d\u0438 \u0438 \u0442\u0435 \u0436\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b, \u0442\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u043e\u0434\u0438\u043d \u0438 \u0442\u043e\u0442 \u0436\u0435. \u0422\u0430\u043a\u0438\u0435 \u044f\u0437\u044b\u043a\u0438 \u043e\u0431\u043b\u0430\u0434\u0430\u044e\u0442 \u0432\u044b\u0441\u043e\u043a\u043e\u0439 \u043d\u0430\u0434\u0435\u0436\u043d\u043e\u0441\u0442\u044c\u044e \u043a\u043e\u0434\u0430.<\/p>\n<\/li>\n<li>\n<p>\u0418 \u043d\u0430 \u043a\u043e\u043d\u0435\u0446 \u2014 \u0414\u0435\u043a\u043b\u0430\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0435 (\u041b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435). \u041e\u0441\u043d\u043e\u0432\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043d\u0430 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0435 \u0442\u0435\u043e\u0440\u0435\u043c \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0444\u0430\u043a\u0442\u043e\u0432 \u0438 \u043f\u0440\u0430\u0432\u0438\u043b. \u041f\u0440\u0438\u043c\u0435\u0440\u044b \u044f\u0437\u044b\u043a\u043e\u0432: Prolog \u0438 \u0435\u0433\u043e \u0434\u0438\u0430\u043b\u0435\u043a\u0442\u044b, Mercury. \u0412 \u0442\u0430\u043a\u0438\u0445 \u044f\u0437\u044b\u043a\u0430\u0445 \u043c\u044b \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0441\u0430\u043c \u044f\u0437\u044b\u043a \u0438\u0449\u0435\u0442 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u043a \u0437\u0430\u0434\u0430\u0447\u0435. \u041c\u044b \u043f\u0440\u043e\u0441\u0442\u043e \u0434\u0430\u0435\u043c \u0435\u043c\u0443 \u043f\u0440\u0430\u0432\u0438\u043b\u0430, \u0444\u0430\u043a\u0442\u044b, \u0430 \u043f\u043e\u0442\u043e\u043c \u0433\u043e\u0432\u043e\u0440\u0438\u043c, \u0447\u0442\u043e &#171;\u0441\u043e\u0447\u0438\u043d\u0438 \u0432\u0441\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0435 \u0441\u0442\u0438\u0445\u0438 \u0438\u0437 \u044d\u0442\u0438\u0445 \u0441\u043b\u043e\u0432&#187;, &#171;\u0440\u0435\u0448\u0438 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443&#187;, &#171;\u043d\u0430\u0439\u0434\u0438 \u0432\u0441\u0435\u0445 \u0431\u0440\u0430\u0442\u044c\u0435\u0432, \u0441\u0435\u0441\u0442\u0435\u0440, \u0437\u043e\u043b\u043e\u0432\u043e\u043a, \u0441\u0432\u043e\u044f\u043a\u043e\u0432 \u0432 \u0433\u0435\u043d\u0435\u0430\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u0434\u0440\u0435\u0432\u0435&#187;, \u0438\u043b\u0438 &#171;\u0440\u0430\u0441\u043a\u0440\u0430\u0441\u044c \u0433\u0440\u0430\u0444 \u043d\u0430\u0438\u043c\u0435\u043d\u044c\u0448\u0438\u043c \u043a\u043e\u043b-\u0432\u043e\u043c \u0446\u0432\u0435\u0442\u043e\u0432 \u0442\u0430\u043a, \u0447\u0442\u043e \u0441\u043c\u0435\u0436\u043d\u044b\u0435 \u0440\u0435\u0431\u0440\u0430 \u0431\u044b\u043b\u0438 \u0440\u0430\u0437\u043d\u043e\u0433\u043e \u0446\u0432\u0435\u0442\u0430&#187;.<\/p>\n<p>\u0427\u0442\u043e \u0442\u0430\u043a\u043e\u0435 \u041b\u041f \u044f \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0438\u043b. \u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u044e \u0441\u0440\u0430\u0437\u0443 \u043f\u0435\u0440\u0435\u0439\u0442\u0438 \u043a \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435, \u043a \u043e\u0441\u043d\u043e\u0432\u0430\u043c <abbr title=\"PROgramming in LOGic\">Prolog <\/abbr>(<em>PROgramming in LOGic<\/em>). \u041d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 \u0432\u0441\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u043f\u043e\u043d\u044f\u0442\u043d\u0435\u0435. \u041f\u0440\u0430\u043a\u0442\u0438\u043a\u0443 \u0438 \u0442\u0435\u043e\u0440\u0438\u044e \u044f \u0431\u0443\u0434\u0443 \u0447\u0435\u0440\u0435\u0434\u043e\u0432\u0430\u0442\u044c. \u041d\u0435 \u0431\u0435\u0441\u043f\u043e\u043a\u043e\u0439\u0442\u0435\u0441\u044c, \u0435\u0441\u043b\u0438 \u0441\u0440\u0430\u0437\u0443 \u0431\u0443\u0434\u0435\u0442 \u0447\u0442\u043e-\u0442\u043e \u043d\u0435 \u043f\u043e\u043d\u044f\u0442\u043d\u043e. \u041f\u043e\u0432\u0442\u043e\u0440\u044f\u0439\u0442\u0435 \u0437\u0430 \u043c\u043d\u043e\u0439, \u0438 \u0432\u044b \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u0442\u0435\u0441\u044c.<\/p>\n<\/li>\n<\/ul>\n<h2>\u0423\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 Prolog<\/h2>\n<p>\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e \u0440\u0430\u0437\u043d\u044b\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 (\u0438\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438) \u041f\u0440\u043e\u043b\u043e\u0433\u0430: SWI Prolog, Visual Prolog, GNU Prolog. \u041c\u044b \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043c SWI Prolog.<\/p>\n<p>\u0423\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 \u043d\u0430 Arch Linux:<\/p>\n<pre><code class=\"bash\">sudo pacman -S swi-prolog<\/code><\/pre>\n<p>\u0423\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 \u043d\u0430 Ubuntu:<\/p>\n<pre><code class=\"bash\">sudo apt install swi-prolog<\/code><\/pre>\n<p>Prolog \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0432 \u0440\u0435\u0436\u0438\u043c\u0435 \u0438\u043d\u0442\u0435\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440\u0430. \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u0435\u043c \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u0442\u044c SWI Prolog. \u0417\u0430\u043f\u0443\u0441\u043a\u0430\u0442\u0441\u044f \u043d\u0435 \u0447\u0435\u0440\u0435\u0437 swi-prolog, \u0430 \u0447\u0435\u0440\u0435\u0437 swipl:<\/p>\n<pre><code class=\"bash\">[user@Raft ~]$ swipl Welcome to SWI-Prolog (threaded, 64 bits, version 8.2.3) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details.  For online help and background, visit https:\/\/www.swi-prolog.org For built-in help, use ?- help(Topic). or ?- apropos(Word).  ?- <\/code><\/pre>\n<p>\u0423\u0440\u0430! \u041e\u043d\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442!<\/p>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u043e\u0441\u0442\u0430\u0432\u0438\u043c \u043d\u0430 Windows.<br \/>\u041f\u0435\u0440\u0435\u0439\u0434\u0435\u043c \u043d\u0430 \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u0441\u0430\u0439\u0442 \u043d\u0430 \u0441\u0442\u0440\u0430\u043d\u0438\u0446\u0443 \u0441\u043a\u0430\u0447\u0438\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u0430\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438. <a href=\"https:\/\/www.swi-prolog.org\/download\/stable\" rel=\"noopener noreferrer nofollow\">\u0421\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0441\u043a\u0430\u0447\u0438\u0432\u0430\u043d\u0438\u0435. \u041a\u043b\u0438\u043a<\/a>. \u0421\u043a\u0430\u0447\u0430\u0435\u043c 64\u0445 \u0431\u0438\u0442\u043d\u0443\u044e \u0432\u0435\u0440\u0441\u0438\u044e. \u0423\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u0430\u044f. \u0427\u0442\u043e\u0431\u044b \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0441\u043b\u043e\u043c\u0430\u0442\u044c, \u044f \u0440\u0435\u0448\u0438\u043b \u0433\u0430\u043b\u043e\u0447\u043a\u0438 \u043d\u0435 \u0441\u043d\u0438\u043c\u0430\u0442\u044c. \u0420\u0430\u0434\u0438 \u043f\u0440\u0438\u043b\u0438\u0447\u0438\u044f \u044f \u043e\u0441\u0442\u0430\u0432\u043b\u044e \u0441\u043a\u0440\u0438\u043d\u044b \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0438.<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/253\/032\/878\/253032878e52f377504b0e643c4ae4cc.png\" alt=\"\u0421\u0430\u0439\u0442 SWI Prolog - \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0449\u0438\u043a\u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0439 \u0441\u0442\u0430\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438\" title=\"\u0421\u0430\u0439\u0442 SWI Prolog - \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0449\u0438\u043a\u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0439 \u0441\u0442\u0430\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438\" width=\"850\" height=\"646\"><figcaption>\u0421\u0430\u0439\u0442 SWI Prolog &#8212; \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0449\u0438\u043a\u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0439 \u0441\u0442\u0430\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438<\/figcaption><\/figure>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/89b\/ee9\/acc\/89bee9acc08c2a9edc592b4d5940e52e.png\" alt=\"\u0413\u0430\u043b\u043e\u0447\u043a\u0438 \u043d\u0435 \u0442\u0440\u043e\u0433\u0430\u0435\u043c\" title=\"\u0413\u0430\u043b\u043e\u0447\u043a\u0438 \u043d\u0435 \u0442\u0440\u043e\u0433\u0430\u0435\u043c\" width=\"662\" height=\"513\"><figcaption>\u0413\u0430\u043b\u043e\u0447\u043a\u0438 \u043d\u0435 \u0442\u0440\u043e\u0433\u0430\u0435\u043c<\/figcaption><\/figure>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f98\/d0b\/589\/f98d0b589b8e5025e1ae4e360d44376b.png\" alt=\"\u0418\u0449\u0443 SWI-Prolog \u0447\u0435\u0440\u0435\u0437 \u043f\u043e\u0438\u0441\u043a Windows. \u0417\u0430\u043f\u0443\u0441\u043a\u0430\u044e\" title=\"\u0418\u0449\u0443 SWI-Prolog \u0447\u0435\u0440\u0435\u0437 \u043f\u043e\u0438\u0441\u043a Windows. \u0417\u0430\u043f\u0443\u0441\u043a\u0430\u044e\" width=\"1039\" height=\"847\"><figcaption>\u0418\u0449\u0443 SWI-Prolog \u0447\u0435\u0440\u0435\u0437 \u043f\u043e\u0438\u0441\u043a Windows. \u0417\u0430\u043f\u0443\u0441\u043a\u0430\u044e<\/figcaption><\/figure>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/7f5\/29a\/aa8\/7f529aaa8537c5bf0bcc05ee0b5b4b37.png\" alt=\"\u0423\u0440\u0430! \u0422\u0435\u043f\u0435\u0440\u044c \u0438 \u043d\u0430 Windows \u0432\u0441\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442\" title=\"\u0423\u0440\u0430! \u0422\u0435\u043f\u0435\u0440\u044c \u0438 \u043d\u0430 Windows \u0432\u0441\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442\" width=\"1414\" height=\"815\"><figcaption>\u0423\u0440\u0430! \u0422\u0435\u043f\u0435\u0440\u044c \u0438 \u043d\u0430 Windows \u0432\u0441\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442<\/figcaption><\/figure>\n<h2>\u041e\u0441\u043d\u043e\u0432\u044b Prolog. \u0424\u0430\u043a\u0442\u044b, \u043f\u0440\u0430\u0432\u0438\u043b\u0430, \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b<\/h2>\n<p>\u0415\u0441\u0442\u044c \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f, \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b:<\/p>\n<ul>\n<li>\n<p>\u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043a\u043d\u0438\u0433\u0443 (\u0443\u0447\u0435\u0431\u043d\u0438\u043a, \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044e)<\/p>\n<\/li>\n<li>\n<p>\u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u043a\u043b\u0430\u0432\u0438\u0430\u0442\u0443\u0440\u0443 (\u043c\u044b\u0448\u043a\u0443, \u043a\u043d\u0438\u0433\u0443, \u0442\u0435\u0442\u0440\u0430\u0434\u044c, \u041c\u0430\u0440\u043a\u0430)<\/p>\n<\/li>\n<li>\n<p>\u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0443 (\u041b\u041f, \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044e, \u0443\u0447\u0435\u0431\u043d\u0438\u043a)<\/p>\n<\/li>\n<li>\n<p>\u0421\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438<\/p>\n<\/li>\n<\/ul>\n<p>\u0421 \u0430\u043d\u0433\u043b\u0438\u0439\u0441\u043a\u043e\u0433\u043e &#171;predicate&#187; \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 &#171;\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435&#187;.<\/p>\n<p>\u0415\u0441\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u044b: \u043a\u043d\u0438\u0433\u0430, \u043a\u043b\u0430\u0432\u0438\u0430\u0442\u0443\u0440\u0430, \u043c\u044b\u0448\u043a\u0430, \u0443\u0447\u0435\u0431\u043d\u0438\u043a, \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f, \u0442\u0435\u0442\u0440\u0430\u0434\u044c, \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430, \u041b\u041f, \u041c\u0430\u0440\u043a, \u041c\u0430\u0448\u0430, \u0421\u0430\u0448\u0430, \u0414\u0430\u0448\u0430, \u041b\u0451\u0448\u0430, \u041c\u0438\u0448\u0430, \u0434\u0430 \u0447\u0442\u043e \u0443\u0433\u043e\u0434\u043d\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u043c.<br \/>\u0415\u0441\u0442\u044c \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043c\u0435\u0436\u0434\u0443 \u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c\u0438, \u0442.\u0435 \u0442\u043e, \u0447\u0442\u043e \u0441\u0432\u044f\u0437\u044b\u0432\u0430\u0435\u0442 \u043e\u0431\u044a\u0435\u043a\u0442\u044b. \u0421\u0432\u044f\u0437\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0440\u0430\u0437\u0438\u0442\u044c \u0447\u0435\u0440\u0435\u0437 \u0433\u043b\u0430\u0433\u043e\u043b\u044b, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: \u0447\u0438\u0442\u0430\u0442\u044c, \u0432\u0438\u0434\u0435\u0442\u044c, \u0438\u0437\u0443\u0447\u0430\u0442\u044c. \u0421\u0432\u044f\u0437\u044c \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0440\u0430\u0437\u0438\u0442\u044c \u0447\u0435\u0440\u0435\u0437 \u043f\u0440\u0438\u043b\u0430\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435. \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0414\u0430\u0448\u0438. \u0414\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438. <s>\u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f.. \u0441\u0432\u044f\u0437\u044c\u044e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043b\u044e\u0431\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u0440\u0435\u0447\u044c? \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a.<\/s><\/p>\n<p>\u041f\u0440\u0435\u043a\u0440\u0430\u0441\u043d\u043e! \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u0437\u0430\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u044d\u0442\u0438 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e:<\/p>\n<ol>\n<li>\n<p>\u0421\u043e\u0437\u0434\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u0439 \u0442\u0435\u043a\u0441\u0442\u043e\u0432\u044b\u0439 \u0444\u0430\u0439\u043b, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u044f \u043d\u0430\u0437\u043e\u0432\u0443 <em>simple.pl (<\/em>.pl \u2014 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435 \u041f\u0440\u043e\u043b\u043e\u0433\u0430<em>)<\/em><\/p>\n<\/li>\n<li>\n<p>\u0412 \u043d\u0435\u043c \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043e\u0434\u043d\u043e\u0441\u0442\u0440\u043e\u0447\u043d\u044b\u0439 \u043a\u043e\u0434 \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435<\/p>\n<\/li>\n<li>\n<p>\u0417\u0430\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u043a\u043e\u0434 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e SWI Prolog<\/p>\n<\/li>\n<li>\n<p>\u0421\u043f\u0440\u043e\u0441\u0438\u0442\u044c \u0443 \u041f\u0440\u043e\u043b\u043e\u0433\u0430 \u044d\u0442\u043e\u0442 \u0444\u0430\u043a\u0442<\/p>\n<\/li>\n<\/ol>\n<p>\u0424\u0430\u0439\u043b simple.pl:<\/p>\n<pre><code>study(mark, book).<\/code><\/pre>\n<p>\u0417\u0430\u043f\u0443\u0441\u0442\u0438\u043c. \u041d\u0430 \u043b\u0438\u043d\u0443\u043a\u0441\u0435 \u044d\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:<\/p>\n<pre><code class=\"bash\">[user@Raft referat]$ swipl simple.pl  Welcome to SWI-Prolog (threaded, 64 bits, version 8.2.3) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details.  For online help and background, visit https:\/\/www.swi-prolog.org For built-in help, use ?- help(Topic). or ?- apropos(Word).  ?- <\/code><\/pre>\n<p>\u041d\u0430 Windows \u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e notepad++ \u0434\u043b\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043a\u043e\u0434\u0430 \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u042f \u0437\u0430\u043f\u0443\u0449\u0443 SWI-Prolog \u0438 \u043e\u0442\u043a\u0440\u043e\u044e \u0444\u0430\u0439\u043b \u0447\u0435\u0440\u0435\u0437 consult.<\/p>\n<figure class=\"bordered full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/c0e\/608\/491\/c0e6084919d07c9947371974322b4f59.png\" alt=\"\u0412\u0438\u0434\u0438\u043c, \u0447\u0442\u043e \u043e\u043d \u0441\u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u043e\u0432\u0430\u043b \u0443\u0441\u043b\u043e\u0432\u0438\u044f. \u0414\u0430\u0436\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043b &quot;1 clauses&quot;, \u0442.\u0435 \u043e\u0434\u0438\u043d \u0444\u0430\u043a\u0442\" title=\"\u0412\u0438\u0434\u0438\u043c, \u0447\u0442\u043e \u043e\u043d \u0441\u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u043e\u0432\u0430\u043b \u0443\u0441\u043b\u043e\u0432\u0438\u044f. \u0414\u0430\u0436\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043b &quot;1 clauses&quot;, \u0442.\u0435 \u043e\u0434\u0438\u043d \u0444\u0430\u043a\u0442\" width=\"1617\" height=\"777\"><figcaption>\u0412\u0438\u0434\u0438\u043c, \u0447\u0442\u043e \u043e\u043d \u0441\u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u043e\u0432\u0430\u043b \u0443\u0441\u043b\u043e\u0432\u0438\u044f. \u0414\u0430\u0436\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043b &#171;1 clauses&#187;, \u0442.\u0435 \u043e\u0434\u0438\u043d \u0444\u0430\u043a\u0442<\/figcaption><\/figure>\n<p>\u0427\u0442\u043e \u043c\u044b \u0441\u0434\u0435\u043b\u0430\u043b\u0438? \u041c\u044b \u0437\u0430\u0433\u0440\u0443\u0437\u0438\u043b\u0438 \u0431\u0430\u0437\u0443 \u0437\u043d\u0430\u043d\u0438\u0439 (\u0442\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u044b \u043e\u043f\u0438\u0441\u0430\u043b\u0438 \u0432 \u043f\u0440\u043e\u0441\u0442\u043e\u043c \u043e\u0434\u043d\u043e\u0441\u0442\u0440\u043e\u0447\u043d\u043e\u043c \u0444\u0430\u0439\u043b\u0435 <em>simple.pl<\/em>) \u0438 \u0442\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u0435\u043c \u0437\u0430\u0434\u0430\u0432\u0430\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u041f\u0440\u043e\u043b\u043e\u0433\u0443. \u0422\u043e \u0435\u0441\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0442\u0430\u043a\u0430\u044f: \u043f\u0438\u0448\u0435\u043c \u0437\u043d\u0430\u043d\u0438\u044f \u0432 \u0444\u0430\u0439\u043b\u0435, \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u043c \u044d\u0442\u0438 \u0437\u043d\u0430\u043d\u0438\u044f \u0432 SWI Prolog \u0438 \u0437\u0430\u0434\u0430\u0435\u043c \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0438\u043d\u0442\u0435\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440\u0443. \u0422\u0430\u043a \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0440\u0435\u0448\u0430\u0442\u044c \u043f\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443. (\u0414\u0430\u0436\u0435 \u0432\u0438\u0434\u043d\u043e, \u0432 \u043d\u0430\u0447\u0430\u043b\u0435 \u0438\u043d\u0442\u0435\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440 \u043f\u0438\u0448\u0435\u0442 &#171;?- &#171;. \u042d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u043e\u043d \u0436\u0434\u0435\u0442 \u043d\u0430\u0448\u0435\u0433\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430<s>, \u043a\u0430\u043a \u0432\u0435\u043b\u0438\u043a\u0438\u0439 \u043c\u0438\u0441\u0442\u0438\u043a<\/s>)<\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0441\u043f\u0440\u043e\u0441\u0438\u043c &#171;\u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043a\u043d\u0438\u0433\u0443?&#187; \u041d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435 \u044d\u0442\u043e \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a:<\/p>\n<pre><code class=\"bash\">?- study(mark, book). true.  ?- <\/code><\/pre>\n<p>\u041f\u043e \u0441\u0443\u0442\u0438 \u043c\u044b \u0441\u043f\u0440\u043e\u0441\u0438\u043b\u0438 &#171;\u0435\u0441\u0442\u044c \u043b\u0438 \u0444\u0430\u043a\u0442 study(mark, study) \u0432 \u0442\u0432\u043e\u0435\u0439 \u0431\u0430\u0437\u0435?&#187;, \u043d\u0430 \u0447\u0442\u043e \u043d\u0430\u043c \u041f\u0440\u043e\u043b\u043e\u0433 \u043b\u0430\u043a\u043e\u043d\u0438\u0447\u043d\u043e \u043e\u0442\u0432\u0435\u0442\u0438\u043b &#171;true.&#187; \u0438 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u0442 \u0436\u0434\u0430\u0442\u044c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430. \u0410 \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0441\u043f\u0440\u043e\u0441\u0438\u043c, &#171;\u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043b\u0438 \u041c\u0430\u0440\u043a \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044e?&#187;<\/p>\n<pre><code>?- study(mark, book). true.  ?- study(mark, docs). false.  ?- <\/code><\/pre>\n<p>\u0418\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440 \u0441\u043a\u0430\u0437\u0430\u043b &#171;false.&#187;. \u042d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u043e\u043d \u043d\u0435 \u043d\u0430\u0448\u0435\u043b \u044d\u0442\u043e\u0442 \u0444\u0430\u043a\u0442 \u0432 \u0441\u0432\u043e\u0435\u0439 \u0431\u0430\u0437\u0435 \u0444\u0430\u043a\u0442\u043e\u0432.<\/p>\n<p>\u0420\u0430\u0441\u0448\u0438\u0440\u0438\u043c \u0431\u0430\u0437\u0443 \u0444\u0430\u043a\u0442\u043e\u0432. \u041f\u043e\u0441\u043b\u0435 \u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044e \u0431\u043e\u043b\u0435\u0435 \u0441\u0442\u0440\u043e\u0433\u0443\u044e \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u044e \u0438 \u043e\u043f\u0438\u0448\u0443, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0432 \u044d\u0442\u043e\u043c \u043a\u043e\u0434\u0435.<\/p>\n<pre><code class=\"bash\">% \u041a\u043e\u0434 \u043d\u0430 \u043f\u0440\u043e\u043b\u043e\u0433\u0435. \u042f \u043e\u043f\u0438\u0441\u0430\u043b 11 \u0444\u0430\u043a\u0442\u043e\u0432. % \u041a\u0430\u0436\u0434\u044b\u0439 \u0444\u0430\u043a\u0442 \u043e\u043a\u0430\u043d\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0442\u043e\u0447\u043a\u043e\u0439 \".\", \u043a\u0430\u043a \u0432 \u0440\u0443\u0441\u0441\u043a\u043e\u043c \u044f\u0437\u044b\u043a\u0435, \u043a\u0430\u043a \u043b\u044e\u0431\u043e\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435. % \u041a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0438 \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0442\u0441\u044f \u0441 \"%\". % \u0418\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440 \u043f\u0440\u043e\u043b\u043e\u0433\u0430 \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u0442 \u0442\u0430\u043a\u0438\u0435 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0438. \/* \u0410 \u044d\u0442\u043e \u043c\u043d\u043e\u0433\u043e\u0441\u0442\u0440\u043e\u0447\u043d\u044b\u0439 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0439 *\/  % \u0424\u0430\u043a\u0442\u044b. 11 \u0448\u0442\u0443\u043a study(mark, book). % \u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043a\u043d\u0438\u0433\u0443 study(mark, studentbook). % \u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u0443\u0447\u0435\u0431\u043d\u0438\u043a study(mark, docs). % \u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u0434\u043e\u043a\u0438  see(masha, mouse). % \u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u043c\u044b\u0448\u044c see(masha, book). % \u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u043a\u043d\u0438\u0433\u0443 see(masha, notebook). % \u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u0442\u0435\u0442\u0440\u0430\u0434\u044c see(masha, mark). % \u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u041c\u0430\u0440\u043a\u0430  study(misha, math). % \u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043c\u0430\u0442\u0435\u0448\u0443 study(misha, lp). % \u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043f\u0440\u043e\u043b\u043e\u0433 study(misha, docs). % \u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u0434\u043e\u043a\u0438 study(misha, studentbook). % \u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u0443\u0447\u0435\u0431\u043d\u0438\u043a<\/code><\/pre>\n<p>\u0422\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u044f. \u041e\u0431\u044a\u0435\u043a\u0442\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u0432 \u041f\u0440\u043e\u043b\u043e\u0433\u0435 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f <strong>\u0442\u0435\u0440\u043c\u0430\u043c\u0438 <\/strong>(\u043f\u0440\u0435\u0434\u043f\u043e\u043b\u0430\u0433\u0430\u044e, \u043e\u0442 \u0441\u043b\u043e\u0432\u0430 &#171;\u0442\u0435\u0440\u043c\u0438\u043d&#187;). \u0422\u0435\u0440\u043c\u044b \u0431\u044b\u0432\u0430\u044e\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0445 \u0432\u0438\u0434\u043e\u0432:<\/p>\n<ol>\n<li>\n<p>\u041a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u0430\u043c\u0438. \u0414\u0435\u043b\u044f\u0442\u0441\u044f \u043d\u0430 \u0447\u0438\u0441\u043b\u0430 \u0438 \u0430\u0442\u043e\u043c\u044b. \u041d\u0430\u0447\u0438\u043d\u0430\u044e\u0442\u0441\u044f \u0441 \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u043e\u0439 \u0431\u0443\u043a\u0432\u044b. \u0427\u0438\u0441\u043b\u0430: 1,36, 0, -1, 123.4, 0.23E-5. \u0410\u0442\u043e\u043c\u044b \u2014 \u044d\u0442\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u044b \u0438 \u0441\u0442\u0440\u043e\u043a\u0438: a, abc, neOdinSimvol, sTROKa. \u0415\u0441\u043b\u0438 \u0430\u0442\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u043f\u0440\u043e\u0431\u0435\u043b\u0430, \u0437\u0430\u043f\u044f\u0442\u044b\u0445 \u0438 \u0442\u0434, \u0442\u043e \u043d\u0443\u0436\u043d\u043e \u0438\u0445 \u043e\u0431\u0440\u0430\u043c\u043b\u044f\u0442\u044c \u0432 \u043e\u0434\u0438\u043d\u0430\u0440\u043d\u044b\u0435 \u043a\u043e\u0432\u044b\u0447\u043a\u0438. \u041f\u0440\u0438\u043c\u0435\u0440 \u0430\u0442\u043e\u043c\u0430: &#8216;\u0441\u0442\u0440\u043e\u043a\u0430 \u0441 \u043f\u0440\u043e\u0431\u0435\u043b\u0430\u043c\u0438, \u0437\u0430\u043f\u044f\u0442\u044b\u043c\u0438. Eto kirilicca&#8217;.<\/p>\n<\/li>\n<li>\n<p>\u041f\u0435\u0440\u043c\u0435\u043d\u043d\u044b\u043c\u0438. \u041d\u0430\u0447\u0438\u043d\u0430\u044e\u0442\u0441\u044f \u0441 \u0437\u0430\u0433\u043b\u0430\u0432\u043d\u043e\u0439 \u0431\u0443\u043a\u0432\u044b: X, Y, Z, Peremennaya, Var.<\/p>\n<\/li>\n<li>\n<p>\u0421\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430\u043c\u0438 (\u0441\u043b\u043e\u0436\u043d\u044b\u0435 \u0442\u0435\u0440\u043c\u044b). \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, study(misha, lp).<\/p>\n<\/li>\n<li>\n<p>\u0421\u043f\u0438\u0441\u043a\u0430\u043c\u0438. \u041f\u0440\u0438\u043c\u0435\u0440: [X1], [Head|Tail]. \u041c\u044b \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u0438\u0445 \u043f\u043e\u0437\u0436\u0435 \u0432 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435.<\/p>\n<p><a href=\"http:\/\/codenet.ru\/progr\/alg\/ai\/htm\/gl4_3.php\" rel=\"noopener noreferrer nofollow\">\u0415\u0441\u0442\u044c \u0445\u043e\u0440\u043e\u0448\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f<\/a>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043f\u0440\u043e \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u0438 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u044e \u041f\u0440\u043e\u043b\u043e\u0433\u0430. \u0420\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u0435\u0451, \u0447\u0442\u043e\u0431\u044b \u043b\u0443\u0447\u0448\u0435 <em>\u043f\u043e\u043d\u044f\u0442\u044c \u043f\u043e\u043d\u044f\u0442\u0438\u044f<\/em> \u041f\u0440\u043e\u043b\u043e\u0433.<\/p>\n<\/li>\n<\/ol>\n<p><strong>\u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435<\/strong> \u043c\u043e\u0433\u0443\u0442 \u043f\u0440\u0438\u043d\u044f\u0442\u044c \u043b\u044e\u0431\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435. \u041e\u043d\u0438 \u043d\u0443\u0436\u043d\u044b \u0434\u043b\u044f \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0439.<\/p>\n<p>study(mark, book). \u2014 \u0442\u0430\u043a\u0438\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f <strong>\u0444\u0430\u043a\u0442\u0430\u043c\u0438<\/strong>. \u041e\u043d\u0438 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0441\u0442\u0438\u043d\u044b. \u0415\u0441\u043b\u0438 \u0444\u0430\u043a\u0442\u0430 \u0432 \u0431\u0430\u0437\u0435 \u0437\u043d\u0430\u043d\u0438\u0439 \u043d\u0435\u0442\u0443, \u0442\u043e \u0442\u0430\u043a\u043e\u0439 \u0444\u0430\u043a\u0442 \u043b\u043e\u0436\u043d\u044b\u0439. \u0424\u0430\u043a\u0442\u044b \u043d\u0443\u0436\u043d\u043e \u043e\u043a\u0430\u043d\u0447\u0438\u0432\u0430\u0442\u044c \u0442\u043e\u0447\u043a\u043e\u0439, \u043a\u0430\u043a \u0440\u0443\u0441\u0441\u043a\u043e\u043c \u044f\u0437\u044b\u043a\u0435.                                    <\/p>\n<p>&#171;\u0417\u0430\u0434\u0430\u0432\u0430\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u041f\u0440\u043e\u043b\u043e\u0433\u0443&#187; \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043f\u043e\u043f\u0440\u043e\u0441\u0438\u0442\u044c \u041f\u0440\u043e\u043b\u043e\u0433 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043d\u0430\u0448\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435. \u041f\u0440\u0438\u043c\u0435\u0440: ?- study(mark, book). \u0415\u0441\u043b\u0438 \u043d\u0430\u0448\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0441\u0442\u0438\u043d\u043e, \u0442\u043e \u041f\u0440\u043e\u043b\u043e\u0433 \u043d\u0430\u043f\u0435\u0447\u0430\u0442\u0430\u0435\u0442<em> true<\/em>, \u0435\u0441\u043b\u0438 \u0432\u0441\u0435\u0433\u0434\u0430 \u043b\u043e\u0436\u043d\u043e, \u0442\u043e <em>false<\/em>. \u0415\u0441\u043b\u0438 \u043d\u0430\u0448\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435 \u0432\u0435\u0440\u043d\u043e \u043f\u0440\u0438 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445, \u0442\u043e \u041f\u0440\u043e\u043b\u043e\u0433 \u0432\u044b\u0432\u0435\u0434\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445, \u043f\u0440\u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0430\u0448\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435 \u0432\u0435\u0440\u043d\u043e.<\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0437\u0430\u0433\u0440\u0443\u0437\u0438\u043c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b \u0432 \u041f\u0440\u043e\u043b\u043e\u0433 \u0438 \u0431\u0443\u0434\u0435\u043c \u0437\u0430\u0434\u0430\u0432\u0430\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0443\u0437\u043d\u0430\u0435\u043c, \u0447\u0442\u043e \u0438\u0437\u0443\u0447\u0430\u043b mark. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c &#171;study(mark, X).&#187; \u0415\u0441\u043b\u0438 \u043c\u044b \u043f\u0440\u043e\u0436\u043c\u0435\u043c &#171;<em>Enter<\/em>&#171;, \u0442\u043e \u041f\u0440\u043e\u043b\u043e\u0433 \u043d\u0430\u043c \u0432\u044b\u0434\u0430\u0441\u0442 \u043f\u0435\u0440\u0432\u043e\u0435 \u043f\u043e\u043f\u0430\u0432\u0448\u0435\u0435\u0441\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u0435<\/p>\n<pre><code>?- study(mark, X). X = book .<\/code><\/pre>\n<p>\u0427\u0442\u043e\u0431\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0432\u0441\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f, \u043d\u0443\u0436\u043d\u043e \u043f\u0440\u043e\u0436\u0438\u043c\u0430\u0442\u044c \u0442\u043e\u0447\u043a\u0443 \u0441 \u0437\u0430\u043f\u044f\u0442\u043e\u0439 &#171;<em>;<\/em>&#171;.<\/p>\n<pre><code>?- study(mark, X). X = book ; X = studentbook ; X = docs.<\/code><\/pre>\n<p>\u041c\u043e\u0436\u0435\u043c \u0443\u0437\u043d\u0430\u0442\u044c, \u043a\u0442\u043e \u0438\u0437\u0443\u0447\u0430\u043b \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044e.<\/p>\n<pre><code>?- study(Who, docs). Who = mark ; Who = misha.<\/code><\/pre>\n<p>\u041c\u043e\u0436\u043d\u043e \u0443\u0437\u043d\u0430\u0442\u044c, \u043a\u0442\u043e \u0438 \u0447\u0442\u043e \u0438\u0437\u0443\u0447\u0430\u043b!<\/p>\n<pre><code>?- study(Who, Object). Who = mark, Object = book ; Who = mark, Object = studentbook ; Who = mark, Object = docs ; Who = misha, Object = math ; Who = misha, Object = lp ; Who = misha, Object = docs ; Who = misha, Object = studentbook.<\/code><\/pre>\n<p>\u041f\u0440\u043e\u043b\u043e\u0433 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u043e \u0432\u0441\u0435\u0439 \u0431\u0430\u0437\u0435 \u0444\u0430\u043a\u0442\u043e\u0432 \u0438  \u043d\u0430\u0445\u043e\u0434\u0438\u0442 \u0432\u0441\u0435 \u0442\u0430\u043a\u0438\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 Who \u0438 Object, \u0447\u0442\u043e \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 study(Who, Object) \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u043c.<\/p>\n<p>\u0420\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u0432 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u041d\u0430\u043f\u0438\u0448\u0435\u043c \u0435\u0449\u0451 \u043e\u0434\u043d\u0443 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443 <em>old.pl<\/em><\/p>\n<pre><code>% \u042d\u0442\u043e \u0444\u0430\u043a\u0442\u044b older(sasha, lesha). % \u0421\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438 older(misha, sasha). % \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0421\u0430\u0448\u0438 older(misha, dasha). % \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0414\u0430\u0448\u0438 older(masha, misha). % \u041c\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041c\u0438\u0448\u0438  % \u042d\u0442\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u043e older(X,Y) :- older(X, Z), older(Z,Y).  % X \u0441\u0442\u0430\u0440\u0448\u0435 Y, \u0435\u0441\u043b\u0438 X \u0441\u0442\u0430\u0440\u0448\u0435 Z \u0438 Z \u0441\u0442\u0430\u0440\u0448\u0435 Y % X, Y, Z - \u044d\u0442\u043e \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435. \u041e\u043d\u0438 \u043c\u043e\u0433\u0443\u0442 \u043f\u0440\u0438\u043d\u044f\u0442\u044c \u043b\u044e\u0431\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, % \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0435\u0441\u0442\u044c \u0432 \u0431\u0430\u0437\u0435 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u043e\u0432. % \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438, \u0435\u0441\u043b\u0438 \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0421\u0430\u0448\u0438 \u0438 \u0421\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438<\/code><\/pre>\n<p>older(X,Y) :- older(X, Z), older(Z,Y) \u2014 \u0442\u0430\u043a\u0438\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f <strong>\u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c\u0438<\/strong>. \u041e\u043d\u0438 \u0438\u0441\u0442\u0438\u043d\u044b \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0445 \u0443\u0441\u043b\u043e\u0432\u0438\u044f\u0445. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u044d\u0442\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u0442\u0438\u043d\u043e \u0432 \u0442\u043e\u043b\u044c\u043a\u043e \u0432 \u0442\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435, \u0435\u0441\u043b\u0438 \u0444\u0430\u043a\u0442\u044b older(X,Z) \u0438 older(Z,Y) \u0438\u0441\u0442\u0438\u043d\u044b. \u0415\u0441\u043b\u0438 \u043f\u0435\u0440\u0435\u0444\u043e\u0440\u043c\u0443\u043b\u0438\u0440\u043e\u0432\u0430\u0442\u044c, \u0442\u043e \u043f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f &#171;X \u0441\u0442\u0430\u0440\u0448\u0435 Y, \u0435\u0441\u043b\u0438 X \u0441\u0442\u0430\u0440\u0448\u0435 Z \u0418 Z \u0441\u0442\u0430\u0440\u0448\u0435 Y&#187;<\/p>\n<p>\u0417\u0430\u043f\u044f\u0442\u0430\u044f &#171;<strong>,<\/strong>&#187; \u0432 \u041f\u0440\u043e\u043b\u043e\u0433\u0435 \u0438\u0433\u0440\u0430\u0435\u0442 \u0440\u043e\u043b\u044c \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e &#171;\u0418&#187;. \u041f\u0440\u0438\u043c\u0435\u0440: &#171;0 &lt; X, X &lt; 5&#187;. X \u043c\u0435\u043d\u044c\u0448\u0435 5 \u0418 \u0431\u043e\u043b\u044c\u0448\u0435 0.<br \/>\u0422\u043e\u0447\u043a\u0430 \u0441 \u0437\u0430\u043f\u044f\u0442\u043e\u0439 &#171;<strong>;<\/strong>&#187; \u0438\u0433\u0440\u0430\u0435\u0442 \u0440\u043e\u043b\u044c \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e &#171;\u0418\u041b\u0418&#187;. &#171;X &lt; 0; X &gt; 5&#187;. X \u043c\u0435\u043d\u044c\u0448\u0435 0 \u0418\u041b\u0418 \u0431\u043e\u043b\u044c\u0448\u0435 5.<br \/>\u041e\u0442\u0440\u0438\u0446\u0430\u043d\u0438\u0435 &#171;not(\u041a\u0430\u043a\u043e\u0439-\u043d\u0438\u0431\u0443\u0434\u044c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442)&#187; \u0438\u0433\u0440\u0430\u0435\u0442 \u0440\u043e\u043b\u044c \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e &#171;\u041d\u0415&#187;. &#171;not(X==5)&#187;. X \u041d\u0415 \u0440\u0430\u0432\u0435\u043d 5.<\/p>\n<p>\u0424\u0430\u043a\u0442\u044b \u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043e\u0431\u0440\u0430\u0437\u0443\u044e\u0442 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f, <strong>\u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b<\/strong>. (<a href=\"http:\/\/verim.org\/project\/prolog\/predikaty_v_prologe\" rel=\"noopener noreferrer nofollow\">\u0445\u043e\u0440\u043e\u0448\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u0440\u043e \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b<\/a>)<\/p>\n<p>\u0421\u043f\u0435\u0440\u0432\u0430 \u0437\u0430\u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0438\u0440\u0443\u0439\u0442\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0438 \u043f\u043e\u0441\u043f\u0440\u0430\u0448\u0438\u0432\u0430\u0439\u0442\u0435 \u041f\u0440\u043e\u043b\u043e\u0433, \u043a\u0442\u043e \u0441\u0442\u0430\u0440\u0448\u0435 \u043a\u043e\u0433\u043e.<\/p>\n<pre><code>?- older(masha, X). X = misha.<\/code><\/pre>\n<p>\u041c\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041c\u0438\u0448\u0438. \u041f\u0440\u043e\u043b\u043e\u0433 \u043f\u0440\u043e\u0441\u0442\u043e \u043f\u0440\u043e\u0448\u0435\u043b\u0441\u044f \u043f\u043e \u0444\u0430\u043a\u0442\u0430\u043c \u0438 \u043d\u0430\u0448\u0435\u043b \u0435\u0434\u0438\u043d\u0441\u0442\u0432\u0435\u043d\u043d\u043e\u0435 \u0432\u0435\u0440\u043d\u044b\u0439 \u0444\u0430\u043a\u0442. \u041d\u043e.. \u043c\u044b \u0445\u043e\u0442\u0435\u043b\u0438 \u0443\u0437\u043d\u0430\u0442\u044c &#171;\u041a\u043e\u0433\u043e \u0441\u0442\u0430\u0440\u0448\u0435 \u041c\u0430\u0448\u0430?&#187;. \u041b\u043e\u0433\u0438\u0447\u043d\u043e \u0436\u0435, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0421\u0430\u0448\u0438 \u0418 \u041c\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041c\u0438\u0448\u0438, \u0442\u043e \u041c\u0430\u0448\u0430 \u0442\u0430\u043a\u0436\u0435 \u0441\u0442\u0430\u0440\u0448\u0435 \u0421\u0430\u0448\u0438. \u0418 \u041f\u0440\u043e\u043b\u043e\u0433 \u0434\u043e\u043b\u0436\u0435\u043d \u0440\u0435\u0448\u0430\u0442\u044c \u0442\u0430\u043a\u0438\u0435 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438. \u041f\u043e\u044d\u0442\u043e\u043c\u0443 \u043d\u0443\u0436\u043d\u043e \u0434\u043e\u0431\u0430\u0432\u0438\u0442\u044c \u043f\u0440\u0430\u0432\u0438\u043b\u043e older(X,Y) :- older(X, Z), older(Z,Y). <br \/>\u041f\u043e\u0432\u0442\u043e\u0440\u0438\u043c \u0432\u043e\u043f\u0440\u043e\u0441.<\/p>\n<pre><code>?- older(masha, X). X = misha ; X = sasha ; X = dasha ; X = lesha ; ERROR: Stack limit (1.0Gb) exceeded ERROR:   Stack sizes: local: 1.0Gb, global: 21Kb, trail: 1Kb ERROR:   Stack depth: 12,200,525, last-call: 0%, Choice points: 6 ERROR:   Probable infinite recursion (cycle): ERROR:     [12,200,525] user:older(lesha, _5658) ERROR:     [12,200,524] user:older(lesha, _5678) ?- <\/code><\/pre>\n<p>\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0441\u043c\u043e\u0433\u043b\u0430 \u043d\u0430\u0439\u0442\u0438 \u0432\u0441\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f. \u041d\u043e \u0447\u0442\u043e \u044d\u0442\u043e \u0442\u0430\u043a\u043e\u0435? \u041e\u0448\u0438\u0431\u043a\u0430! \u0421\u0442\u0435\u043a \u043f\u0435\u0440\u0435\u043f\u043e\u043b\u043d\u0435\u043d! \u041a\u0430\u043a \u0432\u044b \u0434\u0443\u043c\u0430\u0435\u0442\u0435, \u0441 \u0447\u0435\u043c \u044d\u0442\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u0441\u0432\u044f\u0437\u0430\u043d\u043e? \u041f\u043e\u043f\u0440\u043e\u0431\u0443\u0439\u0442\u0435 \u043f\u043e\u0434\u0443\u043c\u0430\u0442\u044c, \u043f\u043e\u0447\u0435\u043c\u0443 \u044d\u0442\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442. \u0425\u043e\u0440\u043e\u0448\u0435\u0435 \u0443\u043f\u0440\u0430\u0436\u0435\u043d\u0438\u0435 \u2014 \u0440\u0430\u0441\u043f\u0438\u0441\u0430\u0442\u044c \u043d\u0430 \u0431\u0443\u043c\u0430\u0433\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c older(masha,X) \u0442\u0430\u043a, \u043a\u0430\u043a \u0431\u0443\u0434\u0442\u043e \u0432\u044b \u2014 \u041f\u0440\u043e\u043b\u043e\u0433. \u0412\u0438\u0434\u0438\u0442\u0435 \u043f\u0440\u0438\u0447\u0438\u043d\u0443 \u043e\u0448\u0438\u0431\u043a\u0438?<\/p>\n<p>\u042d\u0442\u043e \u0441\u0432\u044f\u0437\u0430\u043d\u043e \u0441 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u043e\u0439 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0435\u0439. \u042d\u0442\u043e \u0447\u0430\u0441\u0442\u0430\u044f \u043e\u0448\u0438\u0431\u043a\u0430, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u0432 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0438, \u0432 \u0447\u0430\u0441\u0442\u043d\u043e\u0441\u0442\u0438, \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. older(X, Y) \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442 \u043d\u043e\u0432\u044b\u0439 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 older(X,Z), \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0432 \u0441\u0432\u043e\u044e \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u0432\u044b\u0437\u044b\u0432\u0430\u0435\u0442 \u0441\u043b\u0435\u0434\u044e\u0449\u0438\u0439 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 older \u0438 \u0442\u0430\u043a \u0434\u0430\u043b\u0435\u0435&#8230;<br \/>\u041d\u0443\u0436\u043d\u043e \u043a\u0430\u043a-\u0442\u043e \u043e\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u044c \u0437\u0430\u0446\u0438\u043a\u043b\u0438\u0432\u0430\u043d\u0438\u0435. \u0415\u0441\u043b\u0438 \u043f\u043e\u0434\u0443\u043c\u0430\u0442\u044c, \u0437\u0430\u0447\u0435\u043c \u043d\u0430\u043c \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u043f\u0435\u0440\u0432\u044b\u0439 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 &#171;older(X, Z)&#187; \u0447\u0435\u0440\u0435\u0437 \u043f\u0440\u0430\u0432\u0438\u043b\u0430? \u0415\u0441\u043b\u0438 \u043d\u0435 \u043d\u0430\u0448\u0435\u043b \u0444\u0430\u043a\u0442, \u0442\u043e \u0437\u043d\u0430\u0447\u0438\u0442 \u0432\u0435\u0441\u044c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 older(X, Y) \u043b\u043e\u0436\u043d\u044b\u0439 (\u043f\u043e\u0434\u0443\u043c\u0430\u0439\u0442\u0435, \u043f\u043e\u0447\u0435\u043c\u0443).<br \/>\u041d\u0443\u0436\u043d\u043e \u043e\u0431\u044a\u044f\u0441\u043d\u0438\u0442\u044c \u041f\u0440\u043e\u043b\u043e\u0433\u0443, \u0447\u0442\u043e \u0444\u0430\u043a\u0442\u044b \u0438 \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u043d\u0443\u0436\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u044f\u0442\u044c \u0432\u043e \u0432\u0442\u043e\u0440\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 older(Z, Y), \u0430 \u0432 \u043f\u0435\u0440\u0432\u043e\u0439 older(X, Y) \u2014 \u0442\u043e\u043b\u044c\u043a\u043e \u0444\u0430\u043a\u0442\u044b<br \/>\u041d\u0443\u0436\u043d\u043e \u043e\u0431\u044a\u044f\u0441\u043d\u0438\u0442\u044c \u041f\u0440\u043e\u043b\u043e\u0433\u0443, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u043e\u043d \u0432 \u043f\u0435\u0440\u0432\u044b\u0439 \u0440\u0430\u0437 \u043d\u0435 \u0441\u043c\u043e\u0433 \u043d\u0430\u0439\u0442\u0438 \u043d\u0443\u0436\u043d\u044b\u0439 \u0444\u0430\u043a\u0442, \u0442\u043e \u0435\u043c\u0443 \u043d\u0435 \u043d\u0443\u0436\u043d\u043e \u043f\u0440\u0438\u0441\u0442\u0443\u043f\u0430\u0442\u044c \u043a \u043f\u0440\u0430\u0432\u0438\u043b\u0443. \u041d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u043a\u0430\u043a-\u0442\u043e \u043e\u0431\u044a\u044f\u0441\u043d\u0438\u0442\u044c \u041f\u0440\u043e\u043b\u043e\u0433\u0443, \u0433\u0434\u0435 \u0444\u0430\u043a\u0442, \u0430 \u0433\u0434\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u043e.<br \/>\u042d\u0442\u043e \u0437\u0430\u0434\u0430\u0447\u0443 \u043c\u043e\u0436\u043d\u043e \u0440\u0435\u0448\u0438\u0442\u044c, \u0434\u043e\u0431\u0430\u0432\u0438\u0432 \u043a \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u0430\u043c \u0435\u0449\u0451 \u043e\u0434\u0438\u043d \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0442\u044c \u2014 \u044d\u0442\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u043e \u0438\u043b\u0438 \u0444\u0430\u043a\u0442.<\/p>\n<pre><code class=\"bash\">% \u042d\u0442\u043e \u0444\u0430\u043a\u0442\u044b older(sasha, lesha, fact). % \u0421\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438 older(misha, sasha, fact). % \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0421\u0430\u0448\u0438 older(misha, dasha, fact). % \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0414\u0430\u0448\u0438 older(masha, misha, fact). % \u041c\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041c\u0438\u0448\u0438  % \u042d\u0442\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u043e older(X,Y, rule) :- older(X, Z, fact), older(Z,Y, _).  % X \u0441\u0442\u0430\u0440\u0448\u0435 Y, \u0435\u0441\u043b\u0438 X \u0441\u0442\u0430\u0440\u0448\u0435 Z \u0438 Z \u0441\u0442\u0430\u0440\u0448\u0435 Y % X, Y, Z - \u044d\u0442\u043e \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435. \u041e\u043d\u0438 \u043c\u043e\u0433\u0443\u0442 \u043f\u0440\u0438\u043d\u044f\u0442\u044c \u043b\u044e\u0431\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435,  % \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0435\u0441\u0442\u044c \u0432 \u0431\u0430\u0437\u0435 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u043e\u0432. % \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438, \u0435\u0441\u043b\u0438 \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0421\u0430\u0448\u0438 \u0438 \u0421\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438<\/code><\/pre>\n<p>\u041d\u0438\u0436\u043d\u0435\u0435 \u043f\u043e\u0434\u0447\u0435\u0440\u043a\u0438\u0432\u0430\u043d\u0438\u0435 &#171;_&#187; &#8212; \u044d\u0442\u043e \u0430\u043d\u043e\u043d\u0438\u043c\u043d\u0430\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f. \u0415\u0451 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442, \u043a\u043e\u0433\u0434\u0430 \u043d\u0430\u043c \u043d\u0435 \u0432\u0430\u0436\u043d\u043e, \u043a\u0430\u043a\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435 \u0431\u0443\u0434\u0435\u0442 \u043d\u0430 \u0435\u0451 \u043c\u0435\u0441\u0442\u0435. \u041d\u0430\u043c \u0432\u0430\u0436\u043d\u043e, \u0447\u0442\u043e\u0431\u044b \u043f\u0435\u0440\u0432\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u0431\u044b\u043b\u0430 \u0444\u0430\u043a\u0442\u043e\u043c. \u0410 \u0432\u0442\u043e\u0440\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043b\u044e\u0431\u043e\u0439.<\/p>\n<p>\u0417\u0430\u043f\u0443\u0441\u0442\u0438\u043c \u043a\u043e\u0434.<\/p>\n<pre><code class=\"bash\">?- older(masha, X, _). X = misha ; X = sasha ; X = dasha ; X = lesha ; false.<\/code><\/pre>\n<p>\u041d\u0430\u0448\u0430 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 \u0432\u044b\u0432\u0435\u043b\u0430 \u0432\u0441\u0435 \u0432\u0435\u0440\u043d\u044b\u0435 \u043e\u0442\u0432\u0435\u0442\u044b.<\/p>\n<p>\u0412\u043e\u0437\u043c\u043e\u0436\u043d\u043e, \u0432\u043e\u0437\u043d\u0438\u043a\u0430\u0435\u0442 \u0432\u043e\u043f\u0440\u043e\u0441: \u043e\u0442\u043a\u0443\u0434\u0430 \u041f\u0440\u043e\u043b\u043e\u0433 \u0437\u043d\u0430\u0435\u0442, \u0447\u0442\u043e \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u041c\u0430\u0440\u043a \u0438 \u0447\u0442\u043e \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0414\u0430\u0448\u0438? \u041a\u0430\u043a \u043e\u043d \u043f\u043e\u043d\u0438\u043c\u0430\u0435\u0442 \u0442\u0430\u043a\u0438\u0435 \u0447\u0435\u043b\u043e\u0432\u0435\u0447\u0435\u0441\u043a\u0438\u0435 \u043f\u043e\u043d\u044f\u0442\u0438\u044f? \u041f\u043e\u0447\u0435\u043c\u0443 \u0430\u0441\u0441\u043e\u0446\u0438\u0438\u0440\u0443\u0435\u0442\u0441\u044f study(mark, math) \u0441 \u0444\u0440\u0430\u0437\u043e\u0439 &#171;\u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0443&#187;? \u041f\u043e\u0447\u0435\u043c\u0443 \u043d\u0435 \u0441 &#171;\u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u041c\u0430\u0440\u043a\u0430&#187;?. \u042d\u0442\u043e \u043d\u0430\u0448\u0435 \u043f\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u0438\u0435. \u041c\u044b \u0434\u043e\u0433\u043e\u0432\u043e\u0440\u0438\u043b\u0438\u0441\u044c, \u0447\u0442\u043e \u043f\u0443\u0441\u0442\u044c \u043f\u0435\u0440\u0432\u044b\u0439 \u0442\u0435\u0440\u043c \u0431\u0443\u0434\u0435\u0442 \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0430\u0442\u044c &#171;\u0441\u0443\u0431\u044a\u0435\u043a\u0442&#187;, \u0441\u0430\u043c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 &#171;\u0432\u0437\u0430\u0438\u043c\u043e\u0441\u0432\u044f\u0437\u044c&#187;, \u0430 \u0432\u0442\u043e\u0440\u043e\u0439 \u0442\u0435\u0440\u043c &#171;\u043e\u0431\u044a\u0435\u043a\u0442&#187;. \u041c\u044b \u043c\u043e\u0433\u043b\u0438 \u0431\u044b \u0432\u043e\u0441\u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u043f\u043e-\u0434\u0440\u0443\u0433\u043e\u043c\u0443. \u042d\u0442\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0434\u043e\u0433\u043e\u0432\u0435\u0440\u0435\u043d\u043d\u043e\u0441\u0442\u044c \u043e \u0442\u043e\u043c, \u043a\u0430\u043a \u0432\u043e\u0441\u043f\u0440\u0438\u043d\u0438\u043c\u0430\u0442\u044c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b. \u041f\u0440\u043e\u043b\u043e\u0433 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u0435\u0442 \u043d\u0430\u043c \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0442\u043d\u043e \u043e\u043f\u0438\u0441\u0430\u0442\u044c \u0432\u0437\u0430\u0438\u043c\u043e\u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043c\u0435\u0436\u0434\u0443 \u0442\u0435\u0440\u043c\u0430\u043c\u0438.<\/p>\n<p>\u041d\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 \u0434\u043b\u044f \u043d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0444\u0430\u043a\u0442\u043e\u0440\u0438\u0430\u043b\u0430 \u043e\u0442 N.<\/p>\n<pre><code>factorial(1, 1). factorial(N, F):- \tN1 is N-1, \tfactorial(N1, F1),   F is F1*N.  % \u0412 \u041f\u0440\u043e\u043b\u043e\u0433\u0435 \u043f\u0440\u043e\u0431\u0435\u043b\u044b, \u0442\u0430\u0431\u0443\u043b\u044f\u0446\u0438\u044f \u0438 \u043d\u043e\u0432\u044b\u0435 \u0441\u0442\u0440\u043e\u043a\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0442 \u0442\u0430\u043a\u0436\u0435, \u043a\u0430\u043a C\/C++. % \u0413\u043b\u0430\u0432\u043d\u043e\u0435 \u0432 \u043a\u043e\u043d\u0446\u0435 \u0437\u0430\u043a\u043e\u043d\u0447\u0438\u0442\u044c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 \u0442\u043e\u0447\u043a\u043e\u0439.<\/code><\/pre>\n<p>&#171;is&#187; \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043f\u0440\u0438\u0441\u0432\u043e\u0438\u0442\u044c, \u0442.\u0435 N1 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0432\u043d\u044f\u0442\u044c\u0441\u044f N-1. \u041f\u0440\u0438\u0441\u0432\u043e\u0435\u043d\u0438\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0439 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u043c \u041f\u0440\u043e\u043b\u043e\u0433\u0430 \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u0442\u0441\u044f <strong>\u0443\u043d\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0435\u0439<\/strong>. &#171;is&#187; \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0442\u043e\u043b\u044c\u043a\u043e \u0434\u043b\u044f \u0447\u0438\u0441\u0435\u043b. \u0427\u0442\u043e\u0431\u044b \u043c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u0442\u044c \u0430\u0442\u043e\u043c\u044b, \u043d\u0443\u0436\u043d\u043e \u0432\u043c\u0435\u0441\u0442\u043e &#171;is&#187; \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c &#171;=&#187;.<\/p>\n<p>\u0417\u0430\u0434\u0430\u0434\u0438\u043c \u0437\u0430\u043f\u0440\u043e\u0441\u044b. \u0417\u0434\u0435\u0441\u044c \u0441\u0442\u043e\u0438\u0442 \u043f\u0440\u043e\u0436\u0438\u043c\u0430\u0442\u044c Enter, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u043f\u0435\u0440\u0432\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0438 \u043d\u0435 \u043f\u043e\u043f\u0430\u0441\u0442\u044c \u0432 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0446\u0438\u043a\u043b.<\/p>\n<pre><code>?- factorial(1,F). F = 1 .  ?- factorial(2,F). F = 2 .  ?- factorial(3,F). F = 6 .  ?- factorial(4,F). F = 24 .  ?- factorial(5,F). F = 120 .  ?- factorial(10,F). F = 3628800 .<\/code><\/pre>\n<p>\u041c\u043e\u0436\u043d\u043e \u0443\u043b\u0443\u0447\u0448\u0438\u0442\u044c, \u0434\u043e\u0431\u0430\u0432\u0438\u0432 \u0434\u043e\u043f\u043e\u043b\u043d\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435, \u0447\u0442\u043e N \u0434\u043e\u043b\u0436\u043d\u043e \u0431\u044b\u0442\u044c \u0431\u043e\u043b\u044c\u0448\u0435 \u0438\u043b\u0438 \u0440\u0430\u0432\u043d\u043e 0. \u0422\u043e\u0433\u0434\u0430 \u043d\u0430\u0448\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u0442\u043e\u0447\u043d\u043e \u043d\u0435 \u043f\u043e\u043f\u0430\u0434\u0435\u0442 \u0432 \u0431\u0435\u0441\u043a\u043e\u043d\u0435\u0447\u043d\u044b\u0439 \u0446\u0438\u043a\u043b.<\/p>\n<pre><code>factorial(1, 1). factorial(N, F):-   N &gt;= 0, \tN1 is N-1, \tfactorial(N1, F1),   F is F1*N.<\/code><\/pre>\n<p>\u0412 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u0443\u043f\u0440\u0430\u0436\u043d\u0435\u043d\u0438\u044f \u044f \u043f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u044e \u0432\u0430\u043c \u0440\u0435\u0448\u0438\u0442\u044c \u0442\u0430\u043a\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438:<\/p>\n<ol>\n<li>\n<p>\u041e\u043f\u0438\u0441\u0430\u0442\u044c \u0441\u0432\u043e\u0435 \u0433\u0435\u043d\u0435\u0430\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0434\u0440\u0435\u0432\u043e \u043d\u0430 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u0430\u0445 female(X), male(X) \u0438 parent(X,Y).<\/p>\n<\/li>\n<li>\n<p>\u041d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 \u043d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f N \u0447\u0438\u0441\u043b\u0430 \u0440\u044f\u0434\u0430 \u0424\u0438\u0431\u043e\u043d\u0430\u0447\u0447\u0438.<\/p>\n<\/li>\n<li>\n<p>\u041e\u043f\u0438\u0441\u0430\u0442\u044c \u0434\u0435\u0440\u0435\u0432\u043e (\u0433\u0440\u0430\u0444 \u0431\u0435\u0437 \u0446\u0438\u043a\u043b\u043e\u0432) \u0438 \u043d\u0430\u0439\u0442\u0438, \u0441 \u043a\u0430\u043a\u0438\u043c\u0438 \u0432\u0435\u0440\u0448\u0438\u043d\u0430\u043c\u0438 \u0441\u0432\u044f\u0437\u0430\u043d\u043d\u0430\u044f \u0437\u0430\u0434\u0430\u043d\u043d\u0430\u044f \u0432\u0435\u0440\u0448\u0438\u043d\u0430. <\/p>\n<\/li>\n<\/ol>\n<h2>\u0421\u043f\u0438\u0441\u043a\u0438 \u0432 Prolog<\/h2>\n<p><strong>\u0421\u043f\u0438\u0441\u043a\u0438<\/strong> \u2014 \u0432\u0430\u0436\u043d\u0430\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u0432 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u0421\u043f\u0438\u0441\u043a\u0438 \u043f\u043e\u0437\u0432\u043e\u043b\u044f\u044e\u0442 \u0445\u0440\u0430\u043d\u0438\u0442\u044c \u043f\u0440\u043e\u0438\u0437\u0432\u043e\u043b\u044c\u043d\u043e\u0435 \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u0434\u0430\u043d\u043d\u044b\u0445. <em>\u0421\u0432\u044f\u0437\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a <\/em>\u2014 \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u0434\u0430\u043d\u043d\u044b\u0445, \u0441\u043e\u0441\u0442\u043e\u044f\u0449\u0430\u044f \u0438\u0437 \u0443\u0437\u043b\u043e\u0432. \u0423\u0437\u0435\u043b \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0434\u0430\u043d\u043d\u044b\u0435 \u0438 \u0441\u0441\u044b\u043b\u043a\u0443 (\u0443\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c, \u0441\u0432\u044f\u0437\u043a\u0443) \u043d\u0430 \u043e\u0434\u0438\u043d \u0438\u043b\u0438 \u0434\u0432\u0430 \u0441\u043e\u0441\u0435\u0434\u043d\u0438\u0445  \u0443\u0437\u043b\u0430. \u0421\u043f\u0438\u0441\u043a\u0438 \u044f\u0437\u044b\u043a\u0430 Prolog \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u043e\u0434\u043d\u043e\u0441\u0432\u044f\u0437\u043d\u044b\u043c\u0438, \u0442.\u0435. \u043a\u0430\u0436\u0434\u044b\u0439 \u0443\u0437\u0435\u043b \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u043b\u0438\u0448\u044c \u043e\u0434\u043d\u0443 \u0441\u0441\u044b\u043b\u043a\u0443. \u041f\u0440\u0438\u043b\u043e\u0436\u0443 \u043d\u0430\u0433\u043b\u044f\u0434\u043d\u0443\u044e \u043a\u0430\u0440\u0442\u0438\u043d\u043a\u0443.<\/p>\n<figure class=\"full-width\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/b96\/799\/7f8\/b967997f84c2496c677c449917be155f.png\" width=\"603\" height=\"434\"><figcaption><\/figcaption><\/figure>\n<\/p>\n<p>\u041a\u0441\u0442\u0430\u0442\u0438, <a href=\"https:\/\/pro-prof.com\/archives\/845\" rel=\"noopener noreferrer nofollow\">\u0435\u0449\u0451 \u043e\u0434\u043d\u0430 \u0445\u043e\u0440\u043e\u0448\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f \u043f\u0440\u043e \u0441\u043f\u0438\u0441\u043a\u0438 \u0432 \u041f\u0440\u043e\u043b\u043e\u0433\u0435<\/a>.<\/p>\n<p>\u0421\u043f\u0438\u0441\u043a\u0438 \u0432 \u041f\u0440\u043e\u043b\u043e\u0433\u0435 \u043e\u0442\u043b\u0438\u0447\u0430\u044e\u0442\u0441\u044f \u043e\u0442 \u0441\u043f\u0438\u0441\u043a\u043e\u0432 \u0432 C\/C++, Python \u0438 \u0434\u0440\u0443\u0433\u0438\u0445 \u043f\u0440\u043e\u0446\u0435\u0434\u0443\u0440\u043d\u044b\u0445 \u044f\u0437\u044b\u043a\u043e\u0432. \u0417\u0434\u0435\u0441\u044c \u0441\u043f\u0438\u0441\u043e\u043a \u2014 \u044d\u0442\u043e \u043b\u0438\u0431\u043e \u043f\u0443\u0441\u0442\u043e\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442; \u043b\u0438\u0431\u043e \u043e\u0434\u0438\u043d \u044d\u043b\u0435\u043c\u0435\u043d\u0442, \u043d\u0430\u0437\u044b\u0432\u0430\u0435\u043c\u044b\u0439 \u0433\u043e\u043b\u043e\u0432\u043e\u0439, \u0438 \u043f\u0440\u0438\u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u043d\u044b\u0439 \u0441\u043f\u0438\u0441\u043e\u043a \u2014 \u0445\u0432\u043e\u0441\u0442. \u0421\u043f\u0438\u0441\u043e\u043a &#8212;  \u044d\u0442\u043e \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u0430\u044f \u0441\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430 \u0434\u0430\u043d\u043d\u044b\u0445 \u0441 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u043c \u0434\u043e\u0441\u0442\u0443\u043f\u043e\u043c.<\/p>\n<p>\u0421\u043f\u0438\u0441\u043a\u0438 \u0432\u044b\u0433\u043b\u044f\u0434\u044f\u0442 \u0442\u0430\u043a: [],[a], [abc, bc], [&#8216;\u0421\u043b\u043e\u0432\u043e 1&#8217;, &#8216;\u0421\u043b\u043e\u0432\u043e 2&#8217;, 1234], [X], [Head|Tail].<br \/>\u0420\u0430\u0441\u0441\u043c\u043e\u0442\u0440\u0438\u043c [Head|Tail]. \u042d\u0442\u043e \u0432\u0441\u0451 \u0441\u043f\u0438\u0441\u043e\u043a, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u043c\u044b \u0432\u044b\u0434\u0435\u043b\u044f\u0435\u043c \u043f\u0435\u0440\u0432\u044b\u0439 \u044d\u043b\u0435\u043c\u0435\u043d\u0442, <em>\u0433\u043e\u043b\u043e\u0432\u0443 \u0441\u043f\u0438\u0441\u043a\u0430<\/em>, \u0438 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u0443\u044e \u0447\u0430\u0441\u0442\u044c, <em>\u0445\u0432\u043e\u0441\u0442 \u0441\u043f\u0438\u0441\u043a\u0430<\/em>. \u0427\u0442\u043e\u0431\u044b \u043e\u0442\u0434\u0435\u043b\u0438\u0442\u044c \u043f\u0435\u0440\u0432\u044b\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u043e\u0442 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u043e\u0439 \u0447\u0430\u0441\u0442\u0438 \u0441\u043f\u0438\u0441\u043a\u0430, \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442\u0441\u044f \u043f\u0440\u044f\u043c\u0430\u044f \u0447\u0435\u0440\u0442\u0430 &#171;|&#187;. <br \/>\u041c\u043e\u0436\u043d\u043e \u0431\u044b\u043b\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u0442\u0430\u043a\u043e\u0439 \u0441\u043f\u0438\u0441\u043e\u043a [X1,X2,X3|Tail]. \u0422\u043e\u0433\u0434\u0430 \u043c\u044b \u0432\u044b\u0434\u0435\u043b\u0438\u043c \u043f\u0435\u0440\u0432\u044b\u0435 \u0442\u0440\u0438 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0441\u043f\u0438\u0441\u043a\u0430 \u0438 \u043f\u043e\u043b\u043e\u0436\u0438\u043c \u0438\u0445 \u0432 X1, X2, X3, \u0430 \u043e\u0441\u0442\u0430\u043b\u044c\u043d\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u0441\u043f\u0438\u0441\u043a\u0430 \u0431\u0443\u0434\u0435\u0442 \u0432 Tail.<\/p>\n<p>\u0412 \u0441\u043f\u0438\u0441\u043a\u0430\u0445 \u0445\u0440\u0430\u043d\u044f\u0442\u0441\u044f \u0434\u0430\u043d\u043d\u044b\u0435, \u0438 \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u0441 \u043d\u0438\u043c\u0438 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043d\u0430\u0445\u043e\u0434\u0438\u0442\u044c \u043c\u0438\u043d\u0438\u043c\u0443\u043c, \u043c\u0430\u043a\u0441\u0438\u043c\u0443\u043c, \u043c\u0435\u0434\u0438\u0430\u043d\u0443, \u0441\u0440\u0435\u0434\u043d\u0435\u0435, \u0434\u0438\u0441\u043f\u0435\u0440\u0441\u0438\u044e. \u041c\u043e\u0436\u0435\u0442 \u043d\u0443\u0436\u043d\u043e \u043d\u0430\u0439\u0442\u0438 \u0434\u043b\u0438\u043d\u0443 \u0441\u043f\u0438\u0441\u043a\u0430, \u0434\u043b\u0438\u043d\u0443 \u0441\u0430\u043c\u043e\u0433\u043e \u0434\u043b\u0438\u043d\u043d\u043e\u0433\u043e \u0430\u0442\u043e\u043c\u0430, \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0441\u0440\u0435\u0434\u043d\u0438\u0439 \u0431\u0430\u043b\u043b \u043f\u043e N \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u0443 \u0441\u0440\u0435\u0434\u0438 \u0441\u0442\u0443\u0434\u0435\u043d\u0442\u043e\u0432 \u0433\u0440\u0443\u043f\u043f\u044b G. \u041c\u043e\u0436\u0435\u0442 \u043d\u0443\u0436\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c, \u0435\u0441\u0442\u044c \u043b\u0438 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 Elem \u0432 \u0441\u043f\u0438\u0441\u043a\u0435 List. \u0418 \u0442\u0430\u043a \u0434\u0430\u043b\u0435\u0435. \u041a\u043e\u0440\u043e\u0447\u0435, \u043d\u0443\u0436\u043d\u043e \u043a\u0430\u043a-\u0442\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c \u0441\u043e \u0441\u043f\u0438\u0441\u043a\u0430\u043c\u0438. \u0422\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b \u043c\u043e\u0433\u0443\u0442 \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0442\u044c \u0441\u043f\u0438\u0441\u043a\u0438 (\u0434\u0430 \u0438 \u0432 \u0446\u0435\u043b\u043e\u043c \u0432 \u041f\u0440\u043e\u043b\u043e\u0433\u0435 \u0432\u0441\u0435 \u043e\u0431\u0440\u0430\u0431\u0430\u0442\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043f\u0440\u0435\u0434\u043a\u0438\u0430\u0442\u0430\u043c\u0438).<\/p>\n<p>\u041d\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 \u0434\u043b\u044f \u043f\u0435\u0440\u0435\u0431\u043e\u0440\u0430 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043e\u0432 \u0441\u043f\u0438\u0441\u043a\u0430, \u0447\u0442\u043e\u0431\u044b \u043f\u043e\u043d\u044f\u0442\u044c \u043f\u0440\u0438\u043d\u0446\u0438\u043f \u0440\u0430\u0431\u043e\u0442\u044b \u0441\u043f\u0438\u0441\u043a\u0430.<\/p>\n<pre><code>% element(\u0421\u043f\u0438\u0441\u043e\u043a, \u042d\u043b\u0435\u043c\u0435\u043d\u0442) element([Head|Tail], Element) :- Element = Head; element(Tail, Element).   ?- element([1,2,3,4,5,6, 'abc', 'prolog'], Elem). Elem = 1 ; Elem = 2 ; Elem = 3 ; Elem = 4 ; Elem = 5 ; Elem = 6 ; Elem = abc ; Elem = prolog ; false.<\/code><\/pre>\n<p>element([Head|Tail],Element) \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u043c, \u0435\u0441\u043b\u0438 Element \u0440\u0430\u0432\u0435\u043d Head (\u043f\u0435\u0440\u0432\u043e\u043c\u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0443 \u0441\u043f\u0438\u0441\u043a\u0430) \u0418\u041b\u0418 \u0435\u0441\u043b\u0438 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 element(Tail, Element) \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u0439. \u0412 \u043a\u0430\u043a\u043e\u0439-\u0442\u043e \u043c\u043e\u043c\u0435\u043d\u0442 \u044d\u0442\u0430 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f \u043e\u043a\u043e\u043d\u0447\u0438\u0442\u0441\u044f. (\u0412\u043e\u043f\u0440\u043e\u0441 \u0447\u0438\u0442\u0430\u0442\u0435\u043b\u044e: \u043a\u043e\u0433\u0434\u0430 \u043a\u043e\u043d\u0447\u0438\u0442\u0441\u044f \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u044f? \u041a\u0430\u043a\u043e\u0435 \u0443\u0441\u043b\u043e\u0432\u0438\u0435 \u0431\u0443\u0434\u0435\u0442 \u0442\u0435\u0440\u043c\u0438\u043d\u0438\u0440\u0443\u044e\u0449\u0438\u043c?) \u0422\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c, \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u043c, \u0435\u0441\u043b\u0438 Element \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0432\u0435\u043d \u043a\u0430\u0436\u0434\u043e\u043c\u0443 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0443 \u0441\u043f\u0438\u0441\u043a\u0430 [Head|Tail]. \u041f\u0440\u043e\u043b\u043e\u0433 \u043d\u0430\u0439\u0434\u0435\u0442 \u0432\u0441\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f, \u0438 \u043c\u044b \u043f\u0435\u0440\u0435\u0431\u0435\u0440\u0435\u043c \u0432\u0441\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u0441\u043f\u0438\u0441\u043a\u0430.<\/p>\n<p>\u0427\u0430\u0441\u0442\u043e \u0431\u044b\u0432\u0430\u0435\u0442 \u043d\u0443\u0436\u043d\u044b\u043c \u0437\u043d\u0430\u0442\u044c \u0434\u043b\u0438\u043d\u0443 \u0441\u043f\u0438\u0441\u043a\u0430. \u041d\u0430\u043f\u0438\u0448\u0435\u043c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 \u0434\u043b\u044f \u043d\u0430\u0445\u043e\u0436\u0434\u0435\u043d\u0438\u044f \u0434\u043b\u0438\u043d\u044b \u0441\u043f\u0438\u0441\u043a\u0430. \u041f\u0440\u043e\u0442\u0435\u0441\u0442\u0438\u043c.<\/p>\n<pre><code>% list_length(\u0421\u043f\u0438\u0441\u043e\u043a, \u0414\u043b\u0438\u043d\u0430 \u0441\u043f\u0438\u0441\u043a\u0430) list_length([], 0). list_length([H|T], L) :- list_length(T, L1), L is L1+1.  ?- list_length([123446,232,2332,23], L). L = 4.  ?- list_length([123446,232,2332,23,sdfds,sdfsf,sdfa,asd], L). L = 8.  ?- list_length([], L). L = 0.  ?- list_length([1], L). L = 1.  ?- list_length([1,9,8,7,6,5,4,3,2], L). L = 9. <\/code><\/pre>\n<p>\u041c\u043e\u0439 \u041f\u0440\u043e\u043b\u043e\u0433 \u043f\u0440\u0435\u0434\u0443\u043f\u0440\u0435\u0436\u0434\u0430\u0435\u0442, \u0447\u0442\u043e \u0431\u044b\u043b\u0430 \u043d\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0430 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0430\u044f H. \u041a\u043e\u0434 \u0431\u0443\u0434\u0435\u0442 \u0440\u0430\u0431\u043e\u0442\u0430\u0442\u044c, \u043d\u043e \u043b\u0443\u0447\u0448\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0430\u043d\u043e\u043d\u0438\u043c\u043d\u0443\u044e \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u0443\u044e _, \u0432\u043c\u0435\u0441\u0442\u043e singleton \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u043e\u0439.<\/p>\n<p>\u0412 SWI Prolog \u0438\u043c\u0435\u0435\u0442\u0441\u044f \u0432\u0441\u0442\u0440\u043e\u0435\u043d\u043d\u044b\u0439 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 length. \u042f \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u043b \u0430\u043d\u0430\u043b\u043e\u0433\u0438\u0447\u043d\u044b\u0439 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 list_length. \u0415\u0441\u043b\u0438 \u0432\u0441\u0442\u0440\u0435\u0447\u0430\u0435\u0442\u0441\u044f \u043f\u0443\u0441\u0442\u043e\u0439 \u0441\u043f\u0438\u0441\u043e\u043a, \u0442\u043e \u0435\u0433\u043e \u0434\u043b\u0438\u043d\u0430 \u0440\u0430\u0432\u043d\u0430 \u043d\u0443\u043b\u044e. \u0418\u043d\u0430\u0447\u0435 \u043e\u0442\u0441\u0435\u043a\u0430\u0435\u0442\u0441\u044f \u0433\u043e\u043b\u043e\u0432\u0430 \u0441\u043f\u0438\u0441\u043a\u0430, \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044f\u0435\u0442\u0441\u044f \u0434\u043b\u0438\u043d\u0430 \u043d\u043e\u0432\u043e\u0433\u043e \u043f\u043e\u043b\u0443\u0447\u0438\u0432\u0448\u0435\u0433\u043e\u0441\u044f \u0441\u043f\u0438\u0441\u043a\u0430 \u0438 \u043a \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442\u0443  \u043f\u0440\u0438\u0431\u0430\u0432\u043b\u044f\u0435\u0442\u0441\u044f \u0435\u0434\u0438\u043d\u0438\u0446\u0430.<\/p>\n<p>\u0427\u0442\u043e\u0431\u044b \u043b\u0443\u0447\u0448\u0435 \u043f\u043e\u043d\u044f\u0442\u044c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c, \u043f\u0440\u043e\u043f\u0438\u0448\u0438\u0442\u0435 \u0435\u0433\u043e \u043d\u0430 \u0431\u0443\u043c\u0430\u0433\u0435. \u041f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u0442\u0430\u043a, \u043a\u0430\u043a \u0434\u0435\u043b\u0430\u0435\u0442 \u041f\u0440\u043e\u043b\u043e\u0433.<\/p>\n<p>\u041f\u043e\u0441\u043b\u0435\u0434\u043d\u044f\u044f \u0437\u0430\u0434\u0430\u0447\u0430 \u043f\u0440\u043e \u0441\u043f\u0438\u0441\u043a\u0438 \u0432 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435, \u044d\u0442\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c, \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0438\u0442 \u043b\u0438 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0441\u043f\u0438\u0441\u043a\u0443. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, 1, 2, 3 \u0438 4 \u044f\u0432\u043b\u044f\u044e\u0442\u0441\u044f \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u043c\u0438 \u0441\u043f\u0438\u0441\u043a\u0430 [1,2,3,4]. \u042d\u0442\u043e\u0442 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 \u043c\u044b \u043d\u0430\u0437\u043e\u0432\u0435\u043c list_member.<\/p>\n<pre><code>mymember(Elem, [Elem|_]). mymember(Elem, [_|Tail]) :- mymember(Elem, Tail).<\/code><\/pre>\n<p>\u041e\u0447\u0435\u0432\u0438\u0434\u043d\u043e, \u0447\u0442\u043e \u0435\u0441\u043b\u0438 \u0441\u043f\u0438\u0441\u043e\u043a \u043d\u0430\u0447\u0438\u043d\u0430\u0435\u0442\u0441\u044f \u0441 \u0438\u0441\u043a\u043e\u043c\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430, \u0442\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u043f\u0440\u0438\u043d\u0430\u0434\u043b\u0435\u0436\u0438\u0442 \u0441\u043f\u0438\u0441\u043a\u0443. \u0412 \u043f\u0440\u043e\u0442\u0438\u0432\u043d\u043e\u043c \u0441\u043b\u0443\u0447\u0430\u0435 \u043d\u0435\u043e\u0431\u0445\u043e\u0434\u0438\u043c\u043e \u043e\u0442\u0441\u0435\u0447\u044c \u0433\u043e\u043b\u043e\u0432\u0443 \u0441\u043f\u0438\u0441\u043a\u0430 \u0438 \u0440\u0435\u043a\u0443\u0440\u0441\u0438\u0432\u043d\u043e \u043f\u0440\u043e\u0432\u0435\u0440\u0438\u0442\u044c \u043d\u0430\u043b\u0438\u0447\u0438\u0435 \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430 \u0432 \u043d\u043e\u0432\u043e\u043c \u043f\u043e\u043b\u0443\u0447\u0438\u0432\u0448\u0435\u043c\u0441\u044f \u0441\u043f\u0438\u0441\u043a\u0435.<\/p>\n<h2>\u041f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u0430 \u0438 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438 Prolog<\/h2>\n<p>\u041f\u0440\u043e\u043b\u043e\u0433 \u0443\u0434\u043e\u0431\u0435\u043d \u0432 \u0440\u0435\u0448\u0435\u043d\u0438\u0438 \u0437\u0430\u0434\u0430\u0447, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043c\u044b \u0437\u043d\u0430\u0435\u043c \u043d\u0430\u0447\u0430\u043b\u044c\u043d\u043e\u0435 \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0435 (\u043e\u0431\u044a\u0435\u043a\u0442\u044b \u0438 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043c\u0435\u0436\u0434\u0443 \u043d\u0438\u043c\u0438) \u0438 \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0430\u043c \u0442\u0440\u0443\u0434\u043d\u043e \u0437\u0430\u0434\u0430\u0442\u044c \u0447\u0435\u0442\u043a\u0438\u0439 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c \u043f\u043e\u0438\u0441\u043a\u0430 \u0440\u0435\u0448\u0435\u043d\u0438\u0439. \u0422\u043e \u0435\u0441\u0442\u044c \u0447\u0442\u043e\u0431\u044b \u041f\u0440\u043e\u043b\u043e\u0433 \u0441\u0430\u043c \u043d\u0430\u0448\u0435\u043b \u043e\u0442\u0432\u0435\u0442.<\/p>\n<p>\u0421\u043f\u0438\u0441\u043e\u043a \u0437\u0430\u0434\u0430\u0447, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u041f\u0440\u043e\u043b\u043e\u0433 \u0443\u0434\u043e\u0431\u0435\u043d:<\/p>\n<ul>\n<li>\n<p>\u0418\u0441\u043a\u0443\u0441\u0441\u0442\u0432\u0435\u043d\u043d\u044b\u0439 \u0438\u043d\u0442\u0435\u043b\u043b\u0435\u043a\u0442<\/p>\n<\/li>\n<li>\n<p>\u041a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u043d\u0430\u044f \u043b\u0438\u043d\u0433\u0432\u0438\u0441\u0442\u0438\u043a\u0430. \u041d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u0441\u0442\u0438\u0445\u043e\u0432, \u0430\u043d\u0430\u043b\u0438\u0437 \u0440\u0435\u0447\u0438<\/p>\n<\/li>\n<li>\n<p>\u041f\u043e\u0438\u0441\u043a \u043f\u0443\u0442\u0438 \u0432 \u0433\u0440\u0430\u0444\u0435. \u0420\u0430\u0431\u043e\u0442\u0430 \u0441 \u0433\u0440\u0430\u0444\u0430\u043c\u0438<\/p>\n<\/li>\n<li>\n<p>\u041b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438<\/p>\n<\/li>\n<li>\n<p>\u041d\u0435\u0447\u0438\u0441\u043b\u043e\u0432\u043e\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435<\/p>\n<\/li>\n<\/ul>\n<p>\u0417\u043d\u0430\u043c\u0435\u043d\u0438\u0442\u0443\u044e \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443 \u042d\u0439\u043d\u0448\u0442\u0435\u0439\u043d\u0430 \u043c\u043e\u0436\u043d\u043e \u0433\u043e\u0440\u0430\u0437\u0434\u043e \u043b\u0435\u0433\u0447\u0435 \u0440\u0435\u0448\u0438\u0442\u044c \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435, \u0447\u0435\u043c \u043d\u0430 \u043b\u044e\u0431\u043e\u043c \u0434\u0440\u0443\u0433\u043e\u043c \u0438\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u043c \u044f\u0437\u044b\u043a\u0435. \u041e\u0434\u043d\u0430 \u0438\u0437 \u0432\u0430\u0440\u0438\u0430\u0446\u0438\u0439 \u0442\u0430\u043a\u043e\u0439 \u0437\u0430\u0434\u0430\u0447\u0438:<\/p>\n<details class=\"spoiler\">\n<summary>\u0417\u0430\u0434\u0430\u0447\u0430 \u042d\u0439\u043d\u0448\u0442\u0435\u0439\u043d\u0430<\/summary>\n<div class=\"spoiler__content\">\n<p>\u041d\u0430 \u0443\u043b\u0438\u0446\u0435 \u0441\u0442\u043e\u044f\u0442 \u043f\u044f\u0442\u044c \u0434\u043e\u043c\u043e\u0432. \u041a\u0430\u0436\u0434\u044b\u0439 \u0438\u0437 \u043f\u044f\u0442\u0438 \u0434\u043e\u043c\u043e\u0432  \u043e\u043a\u0440\u0430\u0448\u0435\u043d \u0432 \u0441\u0432\u043e\u0439 \u0446\u0432\u0435\u0442, \u0430 \u0438\u0445 \u0436\u0438\u0442\u0435\u043b\u0438&nbsp;\u2014 \u0440\u0430\u0437\u043d\u044b\u0445 \u043d\u0430\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0441\u0442\u0435\u0439, \u0432\u043b\u0430\u0434\u0435\u044e\u0442 \u0440\u0430\u0437\u043d\u044b\u043c\u0438 \u0436\u0438\u0432\u043e\u0442\u043d\u044b\u043c\u0438, \u043f\u044c\u044e\u0442 \u0440\u0430\u0437\u043d\u044b\u0435 \u043d\u0430\u043f\u0438\u0442\u043a\u0438 \u0438 \u0438\u043c\u0435\u044e\u0442 \u0440\u0430\u0437\u043d\u044b\u0435 \u043f\u0440\u043e\u0444\u0435\u0441\u0441\u0438\u0438.<\/p>\n<ol>\n<li>\n<p>\u0410\u043d\u0433\u043b\u0438\u0447\u0430\u043d\u0438\u043d \u0436\u0438\u0432\u0451\u0442 \u0432 \u043a\u0440\u0430\u0441\u043d\u043e\u043c \u0434\u043e\u043c\u0435.<\/p>\n<\/li>\n<li>\n<p>\u0423 \u0438\u0441\u043f\u0430\u043d\u0446\u0430 \u0435\u0441\u0442\u044c \u0441\u043e\u0431\u0430\u043a\u0430.<\/p>\n<\/li>\n<li>\n<p>\u0412 \u0437\u0435\u043b\u0451\u043d\u043e\u043c \u0434\u043e\u043c\u0435 \u043f\u044c\u044e\u0442 \u043a\u043e\u0444\u0435.<\/p>\n<\/li>\n<li>\n<p>\u0423\u043a\u0440\u0430\u0438\u043d\u0435\u0446 \u043f\u044c\u0451\u0442 \u0447\u0430\u0439.<\/p>\n<\/li>\n<li>\n<p>\u0417\u0435\u043b\u0451\u043d\u044b\u0439 \u0434\u043e\u043c \u0441\u0442\u043e\u0438\u0442 \u0441\u0440\u0430\u0437\u0443 \u0441\u043f\u0440\u0430\u0432\u0430 \u043e\u0442 \u0431\u0435\u043b\u043e\u0433\u043e \u0434\u043e\u043c\u0430.<\/p>\n<\/li>\n<li>\n<p>\u0421\u043a\u0443\u043b\u044c\u043f\u0442\u043e\u0440 \u0440\u0430\u0437\u0432\u043e\u0434\u0438\u0442 \u0443\u043b\u0438\u0442\u043e\u043a.<\/p>\n<\/li>\n<li>\n<p>\u0412 \u0436\u0451\u043b\u0442\u043e\u043c \u0434\u043e\u043c\u0435 \u0436\u0438\u0432\u0435\u0442 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a.<\/p>\n<\/li>\n<li>\n<p>\u0412 \u0446\u0435\u043d\u0442\u0440\u0430\u043b\u044c\u043d\u043e\u043c \u0434\u043e\u043c\u0435 \u043f\u044c\u044e\u0442 \u043c\u043e\u043b\u043e\u043a\u043e.<\/p>\n<\/li>\n<li>\n<p>\u041d\u043e\u0440\u0432\u0435\u0436\u0435\u0446 \u0436\u0438\u0432\u0451\u0442 \u0432 \u043f\u0435\u0440\u0432\u043e\u043c \u0434\u043e\u043c\u0435.<\/p>\n<\/li>\n<li>\n<p>\u0421\u043e\u0441\u0435\u0434 \u043f\u043e\u044d\u0442\u0430 \u0434\u0435\u0440\u0436\u0438\u0442 \u043b\u0438\u0441\u0443.<\/p>\n<\/li>\n<li>\n<p>\u0412 \u0434\u043e\u043c\u0435 \u043f\u043e \u0441\u043e\u0441\u0435\u0434\u0441\u0442\u0432\u0443 \u0441 \u0442\u0435\u043c, \u0432 \u043a\u043e\u0442\u043e\u0440\u043e\u043c \u0434\u0435\u0440\u0436\u0430\u0442 \u043b\u043e\u0448\u0430\u0434\u044c, \u0436\u0438\u0432\u0435\u0442 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a.<\/p>\n<\/li>\n<li>\n<p>\u041c\u0443\u0437\u044b\u043a\u0430\u043d\u0442 \u043f\u044c\u0451\u0442 \u0430\u043f\u0435\u043b\u044c\u0441\u0438\u043d\u043e\u0432\u044b\u0439 \u0441\u043e\u043a.<\/p>\n<\/li>\n<li>\n<p>\u042f\u043f\u043e\u043d\u0435\u0446 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442.<\/p>\n<\/li>\n<li>\n<p>\u041d\u043e\u0440\u0432\u0435\u0436\u0435\u0446 \u0436\u0438\u0432\u0451\u0442 \u0440\u044f\u0434\u043e\u043c \u0441 \u0441\u0438\u043d\u0438\u043c \u0434\u043e\u043c\u043e\u043c.<\/p>\n<\/li>\n<\/ol>\n<p>\u041a\u0442\u043e \u043f\u044c\u0451\u0442 \u0432\u043e\u0434\u0443? \u041a\u0442\u043e \u0434\u0435\u0440\u0436\u0438\u0442 \u0437\u0435\u0431\u0440\u0443? <\/p>\n<p>\u0417\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u0435: \u0432 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0438 6 <em>\u0441\u043f\u0440\u0430\u0432\u0430<\/em> \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u0441\u043f\u0440\u0430\u0432\u0430 \u043e\u0442\u043d\u043e\u0441\u0438\u0442\u0435\u043b\u044c\u043d\u043e <em>\u0432\u0430\u0441<\/em>. <\/p>\n<\/div>\n<\/details>\n<p>\u041d\u0430\u0443\u0447\u0438\u0442\u044c\u0441\u044f \u0440\u0435\u0448\u0430\u0442\u044c \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438 \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433, \u043c\u043e\u0436\u043d\u043e<a href=\"https:\/\/pro-prof.com\/archives\/1299\" rel=\"noopener noreferrer nofollow\"> \u043f\u043e \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435<\/a>.<br \/>\u0415\u0449\u0451 <a href=\"https:\/\/habr.com\/ru\/post\/539988\/\" rel=\"noopener noreferrer nofollow\">\u043e\u0434\u043d\u0430 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f<\/a>. \u0412 \u043d\u0435\u0439 \u0430\u0432\u0442\u043e\u0440 \u043f\u0438\u0448\u0435\u0442 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443 \u0441\u043e\u0447\u0438\u043d\u0438\u0442\u0435\u043b\u044c \u0441\u0442\u0438\u0445\u043e\u0432 \u043d\u0430 Prolog.<\/p>\n<p>\u0418\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f \u0437\u0430\u0434\u0430\u0447\u0430, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u0432\u044b \u043c\u043e\u0436\u0435\u0442\u0435 \u0440\u0435\u0448\u0438\u0442\u044c \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435: \u0440\u0430\u0441\u043a\u0440\u0430\u0441\u0438\u0442\u044c \u0433\u0440\u0430\u0444 \u043d\u0430\u0438\u043c\u0435\u043d\u044c\u0448\u0438\u043c \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e\u043c \u0446\u0432\u0435\u0442\u043e\u0432 \u0442\u0430\u043a, \u0447\u0442\u043e\u0431\u044b \u0441\u043c\u0435\u0436\u043d\u044b\u0435 \u0432\u0435\u0440\u0448\u0438\u043d\u044b \u0431\u044b\u043b\u0438 \u0440\u0430\u0437\u043d\u043e\u0433\u043e \u0446\u0432\u0435\u0442\u0430.<\/p>\n<figure class=\"\"><img loading=\"lazy\" decoding=\"async\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/b80\/1bb\/36a\/b801bb36a5a1397cae7c8afaed11de85.jpg\" alt=\"\u0418\u043b\u043b\u044e\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u043a \u0437\u0430\u0434\u0430\u0447\u0435\" title=\"\u0418\u043b\u043b\u044e\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u043a \u0437\u0430\u0434\u0430\u0447\u0435\" width=\"260\" height=\"240\"><figcaption>\u0418\u043b\u043b\u044e\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u043a \u0437\u0430\u0434\u0430\u0447\u0435<\/figcaption><\/figure>\n<p>\u041f\u0440\u043e\u043b\u043e\u0433 \u0442\u0430\u043a\u043e\u0439 \u0437\u0430\u043c\u0435\u0447\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0439 \u044f\u0437\u044b\u043a! \u041d\u043e \u043f\u043e\u0447\u0435\u043c\u0443 \u0435\u0433\u043e \u043a\u0440\u0430\u0439\u043d\u0435 \u0440\u0435\u0434\u043a\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0442?<br \/>\u042f \u0432\u0438\u0436\u0443 \u0434\u0432\u0435 \u043f\u0440\u0438\u0447\u0438\u043d\u044b:<\/p>\n<ol>\n<li>\n<p>\u041f\u0440\u043e\u0438\u0437\u0432\u043e\u0434\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c<\/p>\n<\/li>\n<li>\n<p>\u0410\u043b\u044c\u0442\u0435\u0440\u043d\u0430\u0442\u0438\u0432\u044b (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u043d\u0435\u0439\u0440\u043e\u0441\u0435\u0442\u0438 \u043d\u0430 Python)<\/p>\n<\/li>\n<\/ol>\n<p>\u041f\u0440\u043e\u043b\u043e\u0433 \u0440\u0435\u0448\u0430\u0435\u0442 \u0437\u0430\u0434\u0430\u0447\u0438 \u043c\u0435\u0442\u043e\u0434\u043e\u043c \u043f\u043e\u043b\u043d\u043e\u0433\u043e \u043f\u0435\u0440\u0435\u0431\u043e\u0440\u0430. \u0421\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e, \u0435\u0433\u043e \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u0440\u0430\u0441\u0442\u0435\u0442 \u043a\u0430\u043a O(n!). \u041a\u043e\u043d\u0435\u0447\u043d\u043e, \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u043e\u0442\u0441\u0435\u0447\u0435\u043d\u0438\u044f, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e &#171;!&#187;. \u041d\u043e \u0432\u0441\u0435 \u0440\u0430\u0432\u043d\u043e \u0441\u043b\u043e\u0436\u043d\u043e\u0441\u0442\u044c \u043e\u0441\u0442\u0430\u043d\u0435\u0442\u0441\u044f \u0444\u0430\u043a\u0442\u043e\u0440\u0438\u0430\u043b\u044c\u043d\u043e\u0439. \u041f\u0440\u043e\u0441\u0442\u044b\u0435 \u0437\u0430\u0434\u0430\u0447\u0438 \u043d\u0435 \u0442\u0430\u043a \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u044b, \u0430 \u0441\u043b\u043e\u0436\u043d\u044b\u0435 \u043b\u0443\u0447\u0448\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u043e\u0432\u0430\u0442\u044c \u0436\u0430\u0434\u043d\u044b\u043c \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u043e\u043c \u043d\u0430 \u0438\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u043c \u044f\u0437\u044b\u043a\u0435.<\/p>\n<p>\u041e\u0431\u043b\u0430\u0441\u0442\u0438, \u0434\u043b\u044f \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043f\u0440\u0435\u0434\u043d\u0430\u0437\u043d\u0430\u0447\u0435\u043d \u041f\u0440\u043e\u043b\u043e\u0433, \u043c\u043e\u0433\u0443\u0442 \u0442\u0430\u043a\u0436\u0435 \u0443\u0441\u043f\u0435\u0448\u043d\u043e \u0440\u0435\u0448\u0430\u0442\u044c\u0441\u044f \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e Python, C\/C++, C#, Java, \u043d\u0435\u0439\u0440\u043e\u0441\u0435\u0442\u0435\u0439. \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441\u043e\u0447\u0438\u043d\u0435\u043d\u0438\u0435 \u0441\u0442\u0438\u0445\u043e\u0432, \u0430\u043d\u0430\u043b\u0438\u0437 \u0440\u0435\u0447\u0438, \u043f\u043e\u0438\u0441\u043a \u043f\u0443\u0442\u0438 \u0432 \u0433\u0440\u0430\u0444\u0435 \u0438 \u0442\u0430\u043a \u0434\u0430\u043b\u0435\u0435.<\/p>\n<p>\u042f \u043d\u0435 \u043c\u043e\u0433\u0443 \u0441\u043a\u0430\u0437\u0430\u0442\u044c, \u0447\u0442\u043e \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 \u043d\u0435 \u043d\u0443\u0436\u043d\u043e. \u041e\u043d\u043e \u0434\u0435\u0439\u0441\u0442\u0432\u0438\u0442\u0435\u043b\u044c\u043d\u043e \u0440\u0430\u0437\u0432\u0438\u0432\u0430\u0435\u0442 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u043c\u044b\u0448\u043b\u0435\u043d\u0438\u0435. \u042d\u043b\u0435\u043c\u0435\u043d\u0442\u044b \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043c\u043e\u0436\u043d\u043e \u0432\u0441\u0442\u0440\u0435\u0442\u0438\u0442\u044c \u043d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435. \u0418 \u0432 \u043f\u0440\u0438\u043d\u0446\u0438\u043f\u0435, \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 \u2014 \u0438\u043d\u0442\u0435\u0440\u0435\u0441\u043d\u0430\u044f \u043f\u0430\u0440\u0430\u0434\u0430\u0433\u0438\u043c\u0430, \u043a\u043e\u0442\u043e\u0440\u0443\u044e \u043f\u043e\u043b\u0435\u0437\u043d\u043e \u0437\u043d\u0430\u0442\u044c, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0441\u043f\u0435\u0446\u0438\u0430\u043b\u0438\u0441\u0442\u0430\u043c \u0418\u0418.<\/p>\n<h2>\u0427\u0442\u043e \u0434\u0430\u043b\u044c\u0448\u0435?<\/h2>\n<p>\u042f \u043f\u043e\u043d\u0438\u043c\u0430\u044e, \u0447\u0442\u043e \u0441\u0442\u0430\u0442\u044c\u044e \u044f \u043d\u0430\u043f\u0438\u0441\u0430\u043b \u0441\u0443\u0445\u043e\u0432\u0430\u0442\u043e \u0438 \u0441\u043b\u0438\u0448\u043a\u043e\u043c &#171;\u043b\u043e\u0433\u0438\u0447\u043d\u043e&#187; (\u0432\u0435\u0440\u043e\u044f\u0442\u043d\u043e, \u0432\u043b\u0438\u044f\u043d\u0438\u0435 \u041f\u0440\u043e\u043b\u043e\u0433\u0430). \u042f \u043d\u0430\u0434\u0435\u044e\u0441\u044c, \u0441\u0442\u0430\u0442\u044c\u044f \u0432\u0430\u043c \u043f\u043e\u043c\u043e\u0433\u043b\u0430 \u0432 \u0438\u0437\u0443\u0447\u0435\u043d\u0438\u0438 \u043e\u0441\u043d\u043e\u0432 \u041b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0430 \u043f\u0440\u0438\u043c\u0435\u0440\u0435 \u041f\u0440\u043e\u043b\u043e\u0433\u0430.<\/p>\n<p>(\u041c\u043e\u0438 \u043c\u044b\u0441\u043b\u0438: \u044f \u0447\u0430\u0441\u0442\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e \u043f\u043e\u0432\u0442\u043e\u0440\u0435\u043d\u0438\u044f \u0432 \u0441\u0442\u0430\u0442\u044c\u0435. \u042d\u0442\u043e \u043d\u0435 \u0441\u043e\u0447\u0438\u043d\u0435\u043d\u0438\u0435, \u044d\u0442\u043e \u0442\u0443\u0442\u043e\u0440\u0438\u0430\u043b. \u041b\u0443\u0447\u0448\u0435 \u043d\u0435 \u043f\u043b\u043e\u0434\u0438\u0442\u044c \u043d\u0435\u043d\u0443\u0436\u043d\u044b\u0435 \u0441\u0438\u043d\u043e\u043d\u0438\u043c\u044b \u0438 \u0447\u0430\u0449\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0442\u0435\u0440\u043c\u0438\u043d\u044b. \u041f\u043e \u043a\u0440\u0430\u0439\u043d\u0435\u0439 \u043c\u0435\u0440\u0435, \u0432 \u0442\u0443\u0442\u043e\u0440\u0438\u0430\u043b\u0430\u0445. \u0422\u0430\u043a \u043b\u0443\u0447\u0448\u0435 \u0437\u0430\u043f\u043e\u043c\u0438\u043d\u0430\u0435\u0442\u0441\u044f. \u041f\u043e\u0432\u0442\u043e\u0440\u0435\u043d\u0438\u0435 \u2014 \u043c\u0430\u0442\u044c \u0443\u0447\u0435\u043d\u0438\u044f. \u0410 \u043a\u0430\u043a \u0432\u044b \u0441\u0447\u0438\u0442\u0430\u0435\u0442\u0435?).<\/p>\n<p>\u042d\u0442\u043e \u043c\u043e\u044f \u0434\u0435\u0431\u044e\u0442\u043d\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f, \u0438 \u044f \u0431\u0443\u0434\u0443 \u043e\u0447\u0435\u043d\u044c \u0440\u0430\u0434 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0442\u0438\u0432\u043d\u043e\u0439 \u043a\u0440\u0438\u0442\u0438\u043a\u0435. \u0417\u0430\u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0432\u043e\u043f\u0440\u043e\u0441\u044b, \u043f\u0438\u0448\u0438\u0442\u0435 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0438, \u044f \u043f\u043e\u0441\u0442\u0430\u0440\u0430\u044e\u0441\u044c \u043e\u0442\u0432\u0435\u0447\u0430\u0442\u044c \u043d\u0430 \u043d\u0438\u0445. \u0412 \u043a\u043e\u043d\u0446\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u044f \u043f\u0440\u0438\u0432\u0435\u0434\u0443 \u0432\u0441\u0435 \u0441\u0441\u044b\u043b\u043a\u0438, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u044f \u0443\u043f\u043e\u043c\u0438\u043d\u0430\u043b \u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u043d\u0435 \u043f\u043e\u043a\u0430\u0437\u0430\u043b\u0438\u0441\u044c \u043f\u043e\u043b\u0435\u0437\u043d\u044b\u043c\u0438.<\/p>\n<p>\u0421\u0442\u0430\u0442\u044c\u044e \u043d\u0430\u043f\u0438\u0441\u0430\u043b \u0413\u043e\u0440\u043e\u0445\u043e\u0432 \u041c\u0438\u0445\u0430\u0438\u043b, \u0443\u0441\u043f\u0435\u0445\u043e\u0432 \u0432 \u043e\u0431\u0443\u0447\u0435\u043d\u0438\u0438 \u0438 \u0432 \u0440\u0430\u0431\u043e\u0442\u0435!<\/p>\n<h2>\u0421\u0441\u044b\u043b\u043a\u0438<\/h2>\n<ol>\n<li>\n<p><a href=\"https:\/\/www.swi-prolog.org\/download\/stable\" rel=\"noopener noreferrer nofollow\">\u0421\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0441\u043a\u0430\u0447\u0438\u0432\u0430\u043d\u0438\u0435 SWI Prolog <\/a><\/p>\n<\/li>\n<li>\n<p><a href=\"http:\/\/codenet.ru\/progr\/alg\/ai\/htm\/gl4_3.php\" rel=\"noopener noreferrer nofollow\">\u0421\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u041f\u0440\u043e\u043b\u043e\u0433\u0430 \u0438 \u0435\u0433\u043e \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u044f<\/a> <\/p>\n<\/li>\n<li>\n<p><a href=\"http:\/\/verim.org\/project\/prolog\/predikaty_v_prologe\" rel=\"noopener noreferrer nofollow\">\u041f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b \u0432 \u041f\u0440\u043e\u043b\u043e\u0433<\/a> <\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/pro-prof.com\/archives\/845\" rel=\"noopener noreferrer nofollow\">\u0421\u043f\u0438\u0441\u043a\u0438 \u0432 \u041f\u0440\u043e\u043b\u043e\u0433<\/a> <\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/pro-prof.com\/archives\/1299\" rel=\"noopener noreferrer nofollow\">\u041b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0438\u0435 \u0437\u0430\u0434\u0430\u0447\u0438<\/a> <\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/habr.com\/ru\/post\/539988\/\" rel=\"noopener noreferrer nofollow\">\u0421\u043e\u0447\u0438\u043d\u0435\u043d\u0438\u0435 \u0441\u0442\u0438\u0445\u043e\u0432 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e \u041f\u0440\u043e\u043b\u043e\u0433 <\/a><\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/ru.wikipedia.org\/wiki\/%D0%9F%D1%80%D0%BE%D0%BB%D0%BE%D0%B3_(%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F)\" rel=\"noopener noreferrer nofollow\">\u0418 \u043a\u043e\u043d\u0435\u0447\u043d\u043e \u0436\u0435 \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0412\u0438\u043a\u0438\u043f\u0435\u0434\u0438\u044e<\/a> <\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/itnan.ru\/post.php?c=1&amp;p=525014\" rel=\"noopener noreferrer nofollow\">\u0421\u043b\u044b\u0448\u0430\u043b\u0438 \u043e \u041f\u0440\u043e\u043b\u043e\u0433? <\/a><\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/habr.com\/ru\/post\/124820\/\" rel=\"noopener noreferrer nofollow\">\u041f\u0440\u0438\u043c\u0435\u0440\u044b \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u043d\u0438\u044f \u041f\u0440\u043e\u043b\u043e\u0433<\/a> <\/p>\n<\/li>\n<\/ol>\n<\/div>\n<p> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/post\/552318\/\"> https:\/\/habr.com\/ru\/post\/552318\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"\n<div class=\"post__text post__text_v2\" id=\"post-content-body\">\n<figure class=\"full-width\"><figcaption>Prolog &#8212; \u0441\u0430\u043c\u044b\u0439 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u044f\u0437\u044b\u043a \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0433\u043e \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f<\/figcaption><\/figure>\n<p>\u0412 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435:<\/p>\n<ol>\n<li>\n<p>\u0423\u0437\u043d\u0430\u0435\u043c, \u0447\u0442\u043e \u0442\u0430\u043a\u043e\u0435 <em>\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<\/em> (<abbr title=\"\u041b\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\">\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435&#187;>\u041b\u041f<\/abbr>), \u0438 \u0435\u0433\u043e \u043e\u0431\u043b\u0430\u0441\u0442\u0438 \u043f\u0440\u0438\u043c\u0435\u043d\u0435\u043d\u0438\u044f<\/p>\n<\/li>\n<li>\n<p>\u0423\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043c \u0441\u0430\u043c\u044b\u0439 \u043f\u043e\u043f\u0443\u043b\u044f\u0440\u043d\u044b\u0439 \u044f\u0437\u044b\u043a <abbr title=\"\u041b\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\">\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u0435&#187;>\u041b\u041f<\/abbr> &#8212; Prolog<\/p>\n<\/li>\n<li>\n<p>\u041d\u0430\u0443\u0447\u0438\u043c\u0441\u044f \u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u044b\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u043d\u0430 Prolog<\/p>\n<\/li>\n<li>\n<p>\u041d\u0430\u0443\u0447\u0438\u043c\u0441\u044f \u0441\u043f\u0438\u0441\u043a\u0430\u043c \u0432 Prolog<\/p>\n<\/li>\n<li>\n<p>\u0420\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043f\u0440\u0435\u0438\u043c\u0443\u0449\u0435\u0441\u0442\u0432\u0430 \u0438 \u043d\u0435\u0434\u043e\u0441\u0442\u0430\u0442\u043a\u0438 Prolog.<\/p>\n<\/li>\n<\/ol>\n<p>\u042d\u0442\u0430 \u0441\u0442\u0430\u0442\u044c\u044f \u0431\u0443\u0434\u0435\u0442 \u043f\u043e\u043b\u0435\u0437\u043d\u0430 \u0434\u043b\u044f \u0442\u0435\u0445, \u043a\u0442\u043e:<\/p>\n<ol>\n<li>\n<p>\u0418\u043d\u0442\u0435\u0440\u0435\u0441\u0443\u0435\u0442\u0441\u044f \u043d\u0435\u043e\u0431\u044b\u0447\u043d\u044b\u043c\u0438 \u043f\u043e\u0434\u0445\u043e\u0434\u0430\u043c\u0438 \u0438 \u0440\u0430\u0441\u0448\u0438\u0440\u044f\u0435\u0442 \u0441\u0432\u043e\u0439 \u043a\u0440\u0443\u0433\u043e\u0437\u043e\u0440<\/p>\n<\/li>\n<li>\n<p>\u041d\u0430\u0447\u0438\u043d\u0430\u0435\u0442 \u0438\u0437\u0443\u0447\u0430\u0442\u044c Prolog (\u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0432 \u0438\u043d\u0441\u0442\u0438\u0442\u0443\u0442\u0435)<\/p>\n<\/li>\n<\/ol>\n<p>\u041c\u0435\u043d\u044f \u0437\u043e\u0432\u0443\u0442 \u041c\u0438\u0445\u0430\u0438\u043b \u0413\u043e\u0440\u043e\u0445\u043e\u0432, \u0438 \u044d\u0442\u0430 \u0441\u0442\u0430\u0442\u044c\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0430 \u0432 \u0440\u0430\u043c\u043a\u0430\u0445 \u0432\u0443\u0437\u043e\u0432\u0441\u043a\u043e\u0433\u043e \u043a\u0443\u0440\u0441\u043e\u0432\u043e\u0433\u043e \u043f\u0440\u043e\u0435\u043a\u0442\u0430. \u0412 \u043f\u0435\u0440\u0432\u0443\u044e \u043e\u0447\u0435\u0440\u0435\u0434\u044c \u044d\u0442\u0430 \u0441\u0442\u0430\u0442\u044c\u044f \u043e\u0440\u0438\u0435\u043d\u0442\u0438\u0440\u043e\u0432\u0430\u043d\u0430 \u043d\u0430 \u0441\u0442\u0443\u0434\u0435\u043d\u0442\u043e\u0432 <abbr title=\"\u041f\u0440\u0438\u043a\u043b\u0430\u0434\u043d\u0430\u044f \u041c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430\">\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430&#187;>\u041f\u041c<\/abbr> \u0438 <abbr title=\"\u041f\u0440\u0438\u043a\u043b\u0430\u0434\u043d\u0430\u044f \u041c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430 \u0438 \u0418\u043d\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u043a\u0430\">\u043a\u0430 \u0438 \u0418\u043d\u0444\u043e\u0440\u043c\u0430\u0442\u0438\u043a\u0430&#187;>\u041f\u041c\u0418<\/abbr>, \u043d\u0430 \u0434\u043e\u043b\u044e \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0432\u044b\u043f\u0430\u043b\u043e \u0438\u0437\u0443\u0447\u0435\u043d\u0438\u0435 \u043f\u0440\u0435\u043a\u0440\u0430\u0441\u043d\u043e\u0433\u043e \u043c\u043e\u0449\u043d\u043e\u0433\u043e \u044f\u0437\u044b\u043a\u0430 Prolog, \u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u043c \u043f\u0440\u0438\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u0438\u0437\u0443\u0447\u0430\u0442\u044c \u0441\u043e\u0432\u0435\u0440\u0448\u0435\u043d\u043d\u043e \u043d\u043e\u0432\u044b\u0439 \u0438 \u043d\u0435\u043f\u0440\u0438\u0432\u044b\u0447\u043d\u044b\u0439 \u0434\u043b\u044f \u043d\u0438\u0445 \u043f\u043e\u0434\u0445\u043e\u0434. \u041f\u0435\u0440\u0432\u043e\u0435 \u0432\u0440\u0435\u043c\u044f \u043e\u043d \u0434\u0430\u0436\u0435 \u0433\u043e\u043b\u043e\u0432\u0443 \u043b\u043e\u043c\u0430\u0435\u0442. <s>\u041e\u0441\u043e\u0431\u0435\u043d\u043d\u043e \u043b\u044e\u0431\u0438\u0442\u0435\u043b\u044f\u043c \u043e\u043f\u0442\u0438\u043c\u0438\u0437\u0430\u0446\u0438\u0438.<\/s><\/p>\n<p>\u0412 \u043a\u043e\u043d\u0446\u0435 \u0441\u0442\u0430\u0442\u044c\u0438 \u044f \u043e\u0441\u0442\u0430\u0432\u043b\u044e \u043f\u043e\u043b\u0435\u0437\u043d\u044b\u0435 \u0441\u0441\u044b\u043b\u043a\u0438. \u0415\u0441\u043b\u0438 \u0443 \u0432\u0430\u0441 \u043e\u0441\u0442\u0430\u043d\u0443\u0442\u0441\u044f \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u2014 \u043f\u0438\u0448\u0438\u0442\u0435 \u0432 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u044f\u0445!<\/p>\n<h2>\u041b\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<\/h2>\n<p>\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e\u0442 \u0440\u0430\u0437\u043d\u044b\u0435 \u043f\u043e\u0434\u0445\u043e\u0434\u044b \u043a \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044e. \u0427\u0430\u0441\u0442\u043e \u0432\u044b\u0434\u0435\u043b\u044f\u044e\u0442 \u0442\u0430\u043a\u0438\u0435 \u043f\u0430\u0440\u0430\u0434\u0438\u0433\u043c\u044b \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u043d\u0438\u044f:<\/p>\n<ul>\n<li>\n<p>\u0418\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0435 (\u043e\u043d\u043e \u0436\u0435 \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u0438\u0447\u0435\u0441\u043a\u043e\u0435). \u0421\u0430\u043c\u0430\u044f \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u0430\u044f \u043f\u0430\u0440\u0430\u0434\u0438\u0433\u043c\u0430. \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0441\u0442 \u0447\u0435\u0442\u043a\u043e \u043f\u0440\u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0441\u0442\u044c \u043a\u043e\u043c\u0430\u043d\u0434, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u0434\u043e\u043b\u0436\u0435\u043d \u0432\u044b\u043f\u043e\u043b\u043d\u0438\u0442\u044c \u043f\u0440\u043e\u0446\u0435\u0441\u0441\u043e\u0440. \u041f\u0440\u0438\u043c\u0435\u0440\u044b: C\/C++, Java, C#, Python, Golang, \u043c\u0430\u0448\u0438\u043d\u0430 \u0422\u044e\u0440\u044c\u043d\u0433\u0430, \u0430\u043b\u0433\u043e\u0440\u0438\u0442\u043c\u044b \u041c\u0430\u0440\u043a\u043e\u0432\u0430. \u0412\u0441\u0435 \u0447\u0435\u0442\u043a\u043e, \u043f\u043e\u0441\u043b\u0435\u0434\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u043d\u043e <s>\u043a\u0430\u043a \u043d\u0430\u0434\u043e<\/s>. \u0421\u0438\u043d\u043e\u043d\u0438\u043c \u0438\u043c\u043f\u0435\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0433\u043e \u2014 \u043f\u0440\u0438\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435.<\/p>\n<\/li>\n<li>\n<p>\u0410\u043f\u043b\u0438\u043a\u0430\u0442\u0438\u0432\u043d\u043e\u0435 (\u0424\u0443\u043d\u043a\u0446\u0438\u043e\u043d\u0430\u043b\u044c\u043d\u043e\u0435). \u041c\u0435\u043d\u0435\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u0430\u044f, \u043d\u043e \u0442\u043e\u0436\u0435 \u0448\u0438\u0440\u043e\u043a\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u043c\u0430\u044f. \u041f\u0440\u0438\u043c\u0435\u0440\u044b \u044f\u0437\u044b\u043a\u043e\u0432: Haskell, F#, \u041b\u0438\u0441\u043f. \u041e\u0441\u043d\u043e\u0432\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043d\u0430 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u0439 \u0430\u0431\u0441\u0442\u0440\u0430\u043a\u0446\u0438\u0438 \u043b\u044f\u043c\u0431\u0434\u0430 \u0432\u044b\u0447\u0438\u0441\u043b\u0435\u043d\u0438\u044f\u0445. \u0411\u043b\u0430\u0433\u043e\u0434\u0430\u0440\u044f \u0447\u0438\u0441\u0442\u044b\u043c \u0444\u0443\u043d\u043a\u0446\u0438\u044f\u043c \u043e\u0447\u0435\u043d\u044c \u0443\u0434\u043e\u0431\u043d\u043e \u043f\u0430\u0440\u0430\u043b\u043b\u0435\u043b\u0438\u0442\u044c \u0442\u0430\u043a\u0438\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b. \u0427\u0438\u0441\u0442\u044b\u0435 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u2014 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u0431\u0435\u0437 \u043f\u043e\u0431\u043e\u0447\u043d\u044b\u0445 \u044d\u0444\u0444\u0435\u043a\u0442\u043e\u0432. \u0415\u0441\u043b\u0438 \u0442\u0430\u043a\u043e\u0439 \u0444\u0443\u043d\u043a\u0446\u0438\u0438 \u043f\u0435\u0440\u0435\u0434\u0430\u0432\u0430\u0442\u044c \u043e\u0434\u043d\u0438 \u0438 \u0442\u0435 \u0436\u0435 \u0430\u0440\u0433\u0443\u043c\u0435\u043d\u0442\u044b, \u0442\u043e \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 \u0432\u0441\u0435\u0433\u0434\u0430 \u0431\u0443\u0434\u0435\u0442 \u043e\u0434\u0438\u043d \u0438 \u0442\u043e\u0442 \u0436\u0435. \u0422\u0430\u043a\u0438\u0435 \u044f\u0437\u044b\u043a\u0438 \u043e\u0431\u043b\u0430\u0434\u0430\u044e\u0442 \u0432\u044b\u0441\u043e\u043a\u043e\u0439 \u043d\u0430\u0434\u0435\u0436\u043d\u043e\u0441\u0442\u044c\u044e \u043a\u043e\u0434\u0430.<\/p>\n<\/li>\n<li>\n<p>\u0418 \u043d\u0430 \u043a\u043e\u043d\u0435\u0446 \u2014 \u0414\u0435\u043a\u043b\u0430\u0440\u0430\u0442\u0438\u0432\u043d\u043e\u0435 (\u041b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435). \u041e\u0441\u043d\u043e\u0432\u044b\u0432\u0430\u0435\u0442\u0441\u044f \u043d\u0430 \u0430\u0432\u0442\u043e\u043c\u0430\u0442\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0435 \u0442\u0435\u043e\u0440\u0435\u043c \u043d\u0430 \u043e\u0441\u043d\u043e\u0432\u0435 \u0444\u0430\u043a\u0442\u043e\u0432 \u0438 \u043f\u0440\u0430\u0432\u0438\u043b. \u041f\u0440\u0438\u043c\u0435\u0440\u044b \u044f\u0437\u044b\u043a\u043e\u0432: Prolog \u0438 \u0435\u0433\u043e \u0434\u0438\u0430\u043b\u0435\u043a\u0442\u044b, Mercury. \u0412 \u0442\u0430\u043a\u0438\u0445 \u044f\u0437\u044b\u043a\u0430\u0445 \u043c\u044b \u043e\u043f\u0438\u0441\u044b\u0432\u0430\u0435\u043c \u043f\u0440\u043e\u0441\u0442\u0440\u0430\u043d\u0441\u0442\u0432\u043e \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0439, \u0432 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0441\u0430\u043c \u044f\u0437\u044b\u043a \u0438\u0449\u0435\u0442 \u0440\u0435\u0448\u0435\u043d\u0438\u0435 \u043a \u0437\u0430\u0434\u0430\u0447\u0435. \u041c\u044b \u043f\u0440\u043e\u0441\u0442\u043e \u0434\u0430\u0435\u043c \u0435\u043c\u0443 \u043f\u0440\u0430\u0432\u0438\u043b\u0430, \u0444\u0430\u043a\u0442\u044b, \u0430 \u043f\u043e\u0442\u043e\u043c \u0433\u043e\u0432\u043e\u0440\u0438\u043c, \u0447\u0442\u043e &#171;\u0441\u043e\u0447\u0438\u043d\u0438 \u0432\u0441\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0435 \u0441\u0442\u0438\u0445\u0438 \u0438\u0437 \u044d\u0442\u0438\u0445 \u0441\u043b\u043e\u0432&#187;, &#171;\u0440\u0435\u0448\u0438 \u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443&#187;, &#171;\u043d\u0430\u0439\u0434\u0438 \u0432\u0441\u0435\u0445 \u0431\u0440\u0430\u0442\u044c\u0435\u0432, \u0441\u0435\u0441\u0442\u0435\u0440, \u0437\u043e\u043b\u043e\u0432\u043e\u043a, \u0441\u0432\u043e\u044f\u043a\u043e\u0432 \u0432 \u0433\u0435\u043d\u0435\u0430\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u043c \u0434\u0440\u0435\u0432\u0435&#187;, \u0438\u043b\u0438 &#171;\u0440\u0430\u0441\u043a\u0440\u0430\u0441\u044c \u0433\u0440\u0430\u0444 \u043d\u0430\u0438\u043c\u0435\u043d\u044c\u0448\u0438\u043c \u043a\u043e\u043b-\u0432\u043e\u043c \u0446\u0432\u0435\u0442\u043e\u0432 \u0442\u0430\u043a, \u0447\u0442\u043e \u0441\u043c\u0435\u0436\u043d\u044b\u0435 \u0440\u0435\u0431\u0440\u0430 \u0431\u044b\u043b\u0438 \u0440\u0430\u0437\u043d\u043e\u0433\u043e \u0446\u0432\u0435\u0442\u0430&#187;.<\/p>\n<p>\u0427\u0442\u043e \u0442\u0430\u043a\u043e\u0435 \u041b\u041f \u044f \u043e\u0431\u043e\u0437\u043d\u0430\u0447\u0438\u043b. \u041f\u0440\u0435\u0434\u043b\u0430\u0433\u0430\u044e \u0441\u0440\u0430\u0437\u0443 \u043f\u0435\u0440\u0435\u0439\u0442\u0438 \u043a \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435, \u043a \u043e\u0441\u043d\u043e\u0432\u0430\u043c <abbr title=\"PROgramming in LOGic\">Prolog <\/abbr>(<em>PROgramming in LOGic<\/em>). \u041d\u0430 \u043f\u0440\u0430\u043a\u0442\u0438\u043a\u0435 \u0432\u0441\u0435 \u0441\u0442\u0430\u043d\u043e\u0432\u0438\u0442\u0441\u044f \u043f\u043e\u043d\u044f\u0442\u043d\u0435\u0435. \u041f\u0440\u0430\u043a\u0442\u0438\u043a\u0443 \u0438 \u0442\u0435\u043e\u0440\u0438\u044e \u044f \u0431\u0443\u0434\u0443 \u0447\u0435\u0440\u0435\u0434\u043e\u0432\u0430\u0442\u044c. \u041d\u0435 \u0431\u0435\u0441\u043f\u043e\u043a\u043e\u0439\u0442\u0435\u0441\u044c, \u0435\u0441\u043b\u0438 \u0441\u0440\u0430\u0437\u0443 \u0431\u0443\u0434\u0435\u0442 \u0447\u0442\u043e-\u0442\u043e \u043d\u0435 \u043f\u043e\u043d\u044f\u0442\u043d\u043e. \u041f\u043e\u0432\u0442\u043e\u0440\u044f\u0439\u0442\u0435 \u0437\u0430 \u043c\u043d\u043e\u0439, \u0438 \u0432\u044b \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u0442\u0435\u0441\u044c.<\/p>\n<\/li>\n<\/ul>\n<h2>\u0423\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 Prolog<\/h2>\n<p>\u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044e \u0440\u0430\u0437\u043d\u044b\u0435 \u0440\u0435\u0430\u043b\u0438\u0437\u0430\u0446\u0438\u0438 (\u0438\u043c\u043f\u043b\u0435\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u0438) \u041f\u0440\u043e\u043b\u043e\u0433\u0430: SWI Prolog, Visual Prolog, GNU Prolog. \u041c\u044b \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0438\u043c SWI Prolog.<\/p>\n<p>\u0423\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 \u043d\u0430 Arch Linux:<\/p>\n<pre><code class=\"bash\">sudo pacman -S swi-prolog<\/code><\/pre>\n<p>\u0423\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 \u043d\u0430 Ubuntu:<\/p>\n<pre><code class=\"bash\">sudo apt install swi-prolog<\/code><\/pre>\n<p>Prolog \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442 \u0432 \u0440\u0435\u0436\u0438\u043c\u0435 \u0438\u043d\u0442\u0435\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440\u0430. \u0422\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u0435\u043c \u0437\u0430\u043f\u0443\u0441\u0442\u0438\u0442\u044c SWI Prolog. \u0417\u0430\u043f\u0443\u0441\u043a\u0430\u0442\u0441\u044f \u043d\u0435 \u0447\u0435\u0440\u0435\u0437 swi-prolog, \u0430 \u0447\u0435\u0440\u0435\u0437 swipl:<\/p>\n<pre><code class=\"bash\">[user@Raft ~]$ swipl Welcome to SWI-Prolog (threaded, 64 bits, version 8.2.3) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details.  For online help and background, visit https:\/\/www.swi-prolog.org For built-in help, use ?- help(Topic). or ?- apropos(Word).  ?- <\/code><\/pre>\n<p>\u0423\u0440\u0430! \u041e\u043d\u043e \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442!<\/p>\n<p>\u0422\u0435\u043f\u0435\u0440\u044c \u043f\u043e\u0441\u0442\u0430\u0432\u0438\u043c \u043d\u0430 Windows.<br \/>\u041f\u0435\u0440\u0435\u0439\u0434\u0435\u043c \u043d\u0430 \u043e\u0444\u0438\u0446\u0438\u0430\u043b\u044c\u043d\u044b\u0439 \u0441\u0430\u0439\u0442 \u043d\u0430 \u0441\u0442\u0440\u0430\u043d\u0438\u0446\u0443 \u0441\u043a\u0430\u0447\u0438\u0432\u0430\u043d\u0438\u044f \u0441\u0442\u0430\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438. <a href=\"https:\/\/www.swi-prolog.org\/download\/stable\" rel=\"noopener noreferrer nofollow\">\u0421\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u0441\u043a\u0430\u0447\u0438\u0432\u0430\u043d\u0438\u0435. \u041a\u043b\u0438\u043a<\/a>. \u0421\u043a\u0430\u0447\u0430\u0435\u043c 64\u0445 \u0431\u0438\u0442\u043d\u0443\u044e \u0432\u0435\u0440\u0441\u0438\u044e. \u0423\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0430 \u0441\u0442\u0430\u043d\u0434\u0430\u0440\u0442\u043d\u0430\u044f. \u0427\u0442\u043e\u0431\u044b \u043d\u0438\u0447\u0435\u0433\u043e \u043d\u0435 \u0441\u043b\u043e\u043c\u0430\u0442\u044c, \u044f \u0440\u0435\u0448\u0438\u043b \u0433\u0430\u043b\u043e\u0447\u043a\u0438 \u043d\u0435 \u0441\u043d\u0438\u043c\u0430\u0442\u044c. \u0420\u0430\u0434\u0438 \u043f\u0440\u0438\u043b\u0438\u0447\u0438\u044f \u044f \u043e\u0441\u0442\u0430\u0432\u043b\u044e \u0441\u043a\u0440\u0438\u043d\u044b \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u043a\u0438.<\/p>\n<figure class=\"full-width\"><figcaption>\u0421\u0430\u0439\u0442 SWI Prolog &#8212; \u0443\u0441\u0442\u0430\u043d\u043e\u0432\u0449\u0438\u043a\u0438 \u043f\u043e\u0441\u043b\u0435\u0434\u043d\u0435\u0439 \u0441\u0442\u0430\u0431\u0438\u043b\u044c\u043d\u043e\u0439 \u0432\u0435\u0440\u0441\u0438\u0438<\/figcaption><\/figure>\n<figure class=\"full-width\"><figcaption>\u0413\u0430\u043b\u043e\u0447\u043a\u0438 \u043d\u0435 \u0442\u0440\u043e\u0433\u0430\u0435\u043c<\/figcaption><\/figure>\n<figure class=\"full-width\"><figcaption>\u0418\u0449\u0443 SWI-Prolog \u0447\u0435\u0440\u0435\u0437 \u043f\u043e\u0438\u0441\u043a Windows. \u0417\u0430\u043f\u0443\u0441\u043a\u0430\u044e<\/figcaption><\/figure>\n<figure class=\"full-width\"><figcaption>\u0423\u0440\u0430! \u0422\u0435\u043f\u0435\u0440\u044c \u0438 \u043d\u0430 Windows \u0432\u0441\u0435 \u0440\u0430\u0431\u043e\u0442\u0430\u0435\u0442<\/figcaption><\/figure>\n<h2>\u041e\u0441\u043d\u043e\u0432\u044b Prolog. \u0424\u0430\u043a\u0442\u044b, \u043f\u0440\u0430\u0432\u0438\u043b\u0430, \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b<\/h2>\n<p>\u0415\u0441\u0442\u044c \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f, \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b:<\/p>\n<ul>\n<li>\n<p>\u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043a\u043d\u0438\u0433\u0443 (\u0443\u0447\u0435\u0431\u043d\u0438\u043a, \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044e)<\/p>\n<\/li>\n<li>\n<p>\u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u043a\u043b\u0430\u0432\u0438\u0430\u0442\u0443\u0440\u0443 (\u043c\u044b\u0448\u043a\u0443, \u043a\u043d\u0438\u0433\u0443, \u0442\u0435\u0442\u0440\u0430\u0434\u044c, \u041c\u0430\u0440\u043a\u0430)<\/p>\n<\/li>\n<li>\n<p>\u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0443 (\u041b\u041f, \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044e, \u0443\u0447\u0435\u0431\u043d\u0438\u043a)<\/p>\n<\/li>\n<li>\n<p>\u0421\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438<\/p>\n<\/li>\n<\/ul>\n<p>\u0421 \u0430\u043d\u0433\u043b\u0438\u0439\u0441\u043a\u043e\u0433\u043e &#171;predicate&#187; \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 &#171;\u043b\u043e\u0433\u0438\u0447\u0435\u0441\u043a\u043e\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435&#187;.<\/p>\n<p>\u0415\u0441\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u044b: \u043a\u043d\u0438\u0433\u0430, \u043a\u043b\u0430\u0432\u0438\u0430\u0442\u0443\u0440\u0430, \u043c\u044b\u0448\u043a\u0430, \u0443\u0447\u0435\u0431\u043d\u0438\u043a, \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044f, \u0442\u0435\u0442\u0440\u0430\u0434\u044c, \u043c\u0430\u0442\u0435\u043c\u0430\u0442\u0438\u043a\u0430, \u041b\u041f, \u041c\u0430\u0440\u043a, \u041c\u0430\u0448\u0430, \u0421\u0430\u0448\u0430, \u0414\u0430\u0448\u0430, \u041b\u0451\u0448\u0430, \u041c\u0438\u0448\u0430, \u0434\u0430 \u0447\u0442\u043e \u0443\u0433\u043e\u0434\u043d\u043e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u043c.<br \/>\u0415\u0441\u0442\u044c \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u044f \u043c\u0435\u0436\u0434\u0443 \u043e\u0431\u044a\u0435\u043a\u0442\u0430\u043c\u0438, \u0442.\u0435 \u0442\u043e, \u0447\u0442\u043e \u0441\u0432\u044f\u0437\u044b\u0432\u0430\u0435\u0442 \u043e\u0431\u044a\u0435\u043a\u0442\u044b. \u0421\u0432\u044f\u0437\u044c \u043e\u0431\u044a\u0435\u043a\u0442\u043e\u0432 \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0440\u0430\u0437\u0438\u0442\u044c \u0447\u0435\u0440\u0435\u0437 \u0433\u043b\u0430\u0433\u043e\u043b\u044b, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: \u0447\u0438\u0442\u0430\u0442\u044c, \u0432\u0438\u0434\u0435\u0442\u044c, \u0438\u0437\u0443\u0447\u0430\u0442\u044c. \u0421\u0432\u044f\u0437\u044c \u043c\u043e\u0436\u043d\u043e \u0432\u044b\u0440\u0430\u0437\u0438\u0442\u044c \u0447\u0435\u0440\u0435\u0437 \u043f\u0440\u0438\u043b\u0430\u0433\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0435. \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0414\u0430\u0448\u0438. \u0414\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438. <s>\u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f.. \u0441\u0432\u044f\u0437\u044c\u044e \u043c\u043e\u0436\u0435\u0442 \u0431\u044b\u0442\u044c \u043b\u044e\u0431\u0430\u044f \u0447\u0430\u0441\u0442\u044c \u0440\u0435\u0447\u044c? \u041f\u043e\u043b\u0443\u0447\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a.<\/s><\/p>\n<p>\u041f\u0440\u0435\u043a\u0440\u0430\u0441\u043d\u043e! \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u043f\u043e\u043f\u0440\u043e\u0431\u0443\u0435\u043c \u0437\u0430\u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0438\u0440\u043e\u0432\u0430\u0442\u044c \u044d\u0442\u0438 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u044f \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e:<\/p>\n<ol>\n<li>\n<p>\u0421\u043e\u0437\u0434\u0430\u0442\u044c \u043d\u043e\u0432\u044b\u0439 \u0442\u0435\u043a\u0441\u0442\u043e\u0432\u044b\u0439 \u0444\u0430\u0439\u043b, \u043a\u043e\u0442\u043e\u0440\u044b\u0439 \u044f \u043d\u0430\u0437\u043e\u0432\u0443 <em>simple.pl (<\/em>.pl \u2014 \u0440\u0430\u0441\u0448\u0438\u0440\u0435\u043d\u0438\u0435 \u041f\u0440\u043e\u043b\u043e\u0433\u0430<em>)<\/em><\/p>\n<\/li>\n<li>\n<p>\u0412 \u043d\u0435\u043c \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c \u043f\u0440\u043e\u0441\u0442\u043e\u0439 \u043e\u0434\u043d\u043e\u0441\u0442\u0440\u043e\u0447\u043d\u044b\u0439 \u043a\u043e\u0434 \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435<\/p>\n<\/li>\n<li>\n<p>\u0417\u0430\u043f\u0443\u0441\u0442\u0438\u0442\u044c \u043a\u043e\u0434 \u0441 \u043f\u043e\u043c\u043e\u0449\u044c\u044e SWI Prolog<\/p>\n<\/li>\n<li>\n<p>\u0421\u043f\u0440\u043e\u0441\u0438\u0442\u044c \u0443 \u041f\u0440\u043e\u043b\u043e\u0433\u0430 \u044d\u0442\u043e\u0442 \u0444\u0430\u043a\u0442<\/p>\n<\/li>\n<\/ol>\n<p>\u0424\u0430\u0439\u043b simple.pl:<\/p>\n<pre><code>study(mark, book).<\/code><\/pre>\n<p>\u0417\u0430\u043f\u0443\u0441\u0442\u0438\u043c. \u041d\u0430 \u043b\u0438\u043d\u0443\u043a\u0441\u0435 \u044d\u0442\u043e \u0434\u0435\u043b\u0430\u0435\u0442\u0441\u044f \u0442\u0430\u043a\u0438\u043c \u043e\u0431\u0440\u0430\u0437\u043e\u043c:<\/p>\n<pre><code class=\"bash\">[user@Raft referat]$ swipl simple.pl  Welcome to SWI-Prolog (threaded, 64 bits, version 8.2.3) SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software. Please run ?- license. for legal details.  For online help and background, visit https:\/\/www.swi-prolog.org For built-in help, use ?- help(Topic). or ?- apropos(Word).  ?- <\/code><\/pre>\n<p>\u041d\u0430 Windows \u044f \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e notepad++ \u0434\u043b\u044f \u043d\u0430\u043f\u0438\u0441\u0430\u043d\u0438\u044f \u043a\u043e\u0434\u0430 \u043d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u042f \u0437\u0430\u043f\u0443\u0449\u0443 SWI-Prolog \u0438 \u043e\u0442\u043a\u0440\u043e\u044e \u0444\u0430\u0439\u043b \u0447\u0435\u0440\u0435\u0437 consult.<\/p>\n<figure class=\"bordered full-width\"><figcaption>\u0412\u0438\u0434\u0438\u043c, \u0447\u0442\u043e \u043e\u043d \u0441\u043a\u043e\u043c\u043f\u0438\u043b\u0438\u0440\u043e\u0432\u0430\u043b \u0443\u0441\u043b\u043e\u0432\u0438\u044f. \u0414\u0430\u0436\u0435 \u043d\u0430\u043f\u0438\u0441\u0430\u043b &#171;1 clauses&#187;, \u0442.\u0435 \u043e\u0434\u0438\u043d \u0444\u0430\u043a\u0442<\/figcaption><\/figure>\n<p>\u0427\u0442\u043e \u043c\u044b \u0441\u0434\u0435\u043b\u0430\u043b\u0438? \u041c\u044b \u0437\u0430\u0433\u0440\u0443\u0437\u0438\u043b\u0438 \u0431\u0430\u0437\u0443 \u0437\u043d\u0430\u043d\u0438\u0439 (\u0442\u0435, \u043a\u043e\u0442\u043e\u0440\u044b\u0435 \u043c\u044b \u043e\u043f\u0438\u0441\u0430\u043b\u0438 \u0432 \u043f\u0440\u043e\u0441\u0442\u043e\u043c \u043e\u0434\u043d\u043e\u0441\u0442\u0440\u043e\u0447\u043d\u043e\u043c \u0444\u0430\u0439\u043b\u0435 <em>simple.pl<\/em>) \u0438 \u0442\u0435\u043f\u0435\u0440\u044c \u043c\u043e\u0436\u0435\u043c \u0437\u0430\u0434\u0430\u0432\u0430\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u041f\u0440\u043e\u043b\u043e\u0433\u0443. \u0422\u043e \u0435\u0441\u0442\u044c \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0442\u0430\u043a\u0430\u044f: \u043f\u0438\u0448\u0435\u043c \u0437\u043d\u0430\u043d\u0438\u044f \u0432 \u0444\u0430\u0439\u043b\u0435, \u0437\u0430\u0433\u0440\u0443\u0436\u0430\u0435\u043c \u044d\u0442\u0438 \u0437\u043d\u0430\u043d\u0438\u044f \u0432 SWI Prolog \u0438 \u0437\u0430\u0434\u0430\u0435\u043c \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0438\u043d\u0442\u0435\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440\u0443. \u0422\u0430\u043a \u043c\u044b \u0431\u0443\u0434\u0435\u043c \u0440\u0435\u0448\u0430\u0442\u044c \u043f\u043e\u0441\u0442\u0430\u0432\u043b\u0435\u043d\u043d\u0443\u044e \u0437\u0430\u0434\u0430\u0447\u0443. (\u0414\u0430\u0436\u0435 \u0432\u0438\u0434\u043d\u043e, \u0432 \u043d\u0430\u0447\u0430\u043b\u0435 \u0438\u043d\u0442\u0435\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440 \u043f\u0438\u0448\u0435\u0442 &#171;?- &#171;. \u042d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u043e\u043d \u0436\u0434\u0435\u0442 \u043d\u0430\u0448\u0435\u0433\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430<s>, \u043a\u0430\u043a \u0432\u0435\u043b\u0438\u043a\u0438\u0439 \u043c\u0438\u0441\u0442\u0438\u043a<\/s>)<\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0441\u043f\u0440\u043e\u0441\u0438\u043c &#171;\u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043a\u043d\u0438\u0433\u0443?&#187; \u041d\u0430 \u041f\u0440\u043e\u043b\u043e\u0433\u0435 \u044d\u0442\u043e \u0432\u044b\u0433\u043b\u044f\u0434\u0438\u0442 \u0442\u0430\u043a:<\/p>\n<pre><code class=\"bash\">?- study(mark, book). true.  ?- <\/code><\/pre>\n<p>\u041f\u043e \u0441\u0443\u0442\u0438 \u043c\u044b \u0441\u043f\u0440\u043e\u0441\u0438\u043b\u0438 &#171;\u0435\u0441\u0442\u044c \u043b\u0438 \u0444\u0430\u043a\u0442 study(mark, study) \u0432 \u0442\u0432\u043e\u0435\u0439 \u0431\u0430\u0437\u0435?&#187;, \u043d\u0430 \u0447\u0442\u043e \u043d\u0430\u043c \u041f\u0440\u043e\u043b\u043e\u0433 \u043b\u0430\u043a\u043e\u043d\u0438\u0447\u043d\u043e \u043e\u0442\u0432\u0435\u0442\u0438\u043b &#171;true.&#187; \u0438 \u043f\u0440\u043e\u0434\u043e\u043b\u0436\u0430\u0435\u0442 \u0436\u0434\u0430\u0442\u044c \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0435\u0433\u043e \u0432\u043e\u043f\u0440\u043e\u0441\u0430. \u0410 \u0434\u0430\u0432\u0430\u0439\u0442\u0435 \u0441\u043f\u0440\u043e\u0441\u0438\u043c, &#171;\u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043b\u0438 \u041c\u0430\u0440\u043a \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044e?&#187;<\/p>\n<pre><code>?- study(mark, book). true.  ?- study(mark, docs). false.  ?- <\/code><\/pre>\n<p>\u0418\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440 \u0441\u043a\u0430\u0437\u0430\u043b &#171;false.&#187;. \u042d\u0442\u043e \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442, \u0447\u0442\u043e \u043e\u043d \u043d\u0435 \u043d\u0430\u0448\u0435\u043b \u044d\u0442\u043e\u0442 \u0444\u0430\u043a\u0442 \u0432 \u0441\u0432\u043e\u0435\u0439 \u0431\u0430\u0437\u0435 \u0444\u0430\u043a\u0442\u043e\u0432.<\/p>\n<p>\u0420\u0430\u0441\u0448\u0438\u0440\u0438\u043c \u0431\u0430\u0437\u0443 \u0444\u0430\u043a\u0442\u043e\u0432. \u041f\u043e\u0441\u043b\u0435 \u044f \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u044e \u0431\u043e\u043b\u0435\u0435 \u0441\u0442\u0440\u043e\u0433\u0443\u044e \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u044e \u0438 \u043e\u043f\u0438\u0448\u0443, \u0447\u0442\u043e \u043f\u0440\u043e\u0438\u0441\u0445\u043e\u0434\u0438\u0442 \u0432 \u044d\u0442\u043e\u043c \u043a\u043e\u0434\u0435.<\/p>\n<pre><code class=\"bash\">% \u041a\u043e\u0434 \u043d\u0430 \u043f\u0440\u043e\u043b\u043e\u0433\u0435. \u042f \u043e\u043f\u0438\u0441\u0430\u043b 11 \u0444\u0430\u043a\u0442\u043e\u0432. % \u041a\u0430\u0436\u0434\u044b\u0439 \u0444\u0430\u043a\u0442 \u043e\u043a\u0430\u043d\u0447\u0438\u0432\u0430\u0435\u0442\u0441\u044f \u0442\u043e\u0447\u043a\u043e\u0439 \".\", \u043a\u0430\u043a \u0432 \u0440\u0443\u0441\u0441\u043a\u043e\u043c \u044f\u0437\u044b\u043a\u0435, \u043a\u0430\u043a \u043b\u044e\u0431\u043e\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435. % \u041a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0438 \u043d\u0430\u0447\u0438\u043d\u0430\u044e\u0442\u0441\u044f \u0441 \"%\". % \u0418\u043d\u0442\u0435\u0440\u043f\u0440\u0435\u0442\u0430\u0442\u043e\u0440 \u043f\u0440\u043e\u043b\u043e\u0433\u0430 \u0438\u0433\u043d\u043e\u0440\u0438\u0440\u0443\u0435\u0442 \u0442\u0430\u043a\u0438\u0435 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0438. \/* \u0410 \u044d\u0442\u043e \u043c\u043d\u043e\u0433\u043e\u0441\u0442\u0440\u043e\u0447\u043d\u044b\u0439 \u043a\u043e\u043c\u043c\u0435\u043d\u0442\u0430\u0440\u0438\u0439 *\/  % \u0424\u0430\u043a\u0442\u044b. 11 \u0448\u0442\u0443\u043a study(mark, book). % \u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043a\u043d\u0438\u0433\u0443 study(mark, studentbook). % \u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u0443\u0447\u0435\u0431\u043d\u0438\u043a study(mark, docs). % \u041c\u0430\u0440\u043a \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u0434\u043e\u043a\u0438  see(masha, mouse). % \u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u043c\u044b\u0448\u044c see(masha, book). % \u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u043a\u043d\u0438\u0433\u0443 see(masha, notebook). % \u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u0442\u0435\u0442\u0440\u0430\u0434\u044c see(masha, mark). % \u041c\u0430\u0448\u0430 \u0432\u0438\u0434\u0438\u0442 \u041c\u0430\u0440\u043a\u0430  study(misha, math). % \u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043c\u0430\u0442\u0435\u0448\u0443 study(misha, lp). % \u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u043f\u0440\u043e\u043b\u043e\u0433 study(misha, docs). % \u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u0434\u043e\u043a\u0438 study(misha, studentbook). % \u041c\u0438\u0448\u0430 \u0438\u0437\u0443\u0447\u0430\u0435\u0442 \u0443\u0447\u0435\u0431\u043d\u0438\u043a<\/code><\/pre>\n<p>\u0422\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u044f. \u041e\u0431\u044a\u0435\u043a\u0442\u044b \u0434\u0430\u043d\u043d\u044b\u0445 \u0432 \u041f\u0440\u043e\u043b\u043e\u0433\u0435 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f <strong>\u0442\u0435\u0440\u043c\u0430\u043c\u0438 <\/strong>(\u043f\u0440\u0435\u0434\u043f\u043e\u043b\u0430\u0433\u0430\u044e, \u043e\u0442 \u0441\u043b\u043e\u0432\u0430 &#171;\u0442\u0435\u0440\u043c\u0438\u043d&#187;). \u0422\u0435\u0440\u043c\u044b \u0431\u044b\u0432\u0430\u044e\u0442 \u0441\u043b\u0435\u0434\u0443\u044e\u0449\u0438\u0445 \u0432\u0438\u0434\u043e\u0432:<\/p>\n<ol>\n<li>\n<p>\u041a\u043e\u043d\u0441\u0442\u0430\u043d\u0442\u0430\u043c\u0438. \u0414\u0435\u043b\u044f\u0442\u0441\u044f \u043d\u0430 \u0447\u0438\u0441\u043b\u0430 \u0438 \u0430\u0442\u043e\u043c\u044b. \u041d\u0430\u0447\u0438\u043d\u0430\u044e\u0442\u0441\u044f \u0441 \u043c\u0430\u043b\u0435\u043d\u044c\u043a\u043e\u0439 \u0431\u0443\u043a\u0432\u044b. \u0427\u0438\u0441\u043b\u0430: 1,36, 0, -1, 123.4, 0.23E-5. \u0410\u0442\u043e\u043c\u044b \u2014 \u044d\u0442\u043e \u043f\u0440\u043e\u0441\u0442\u043e \u0441\u0438\u043c\u0432\u043e\u043b\u044b \u0438 \u0441\u0442\u0440\u043e\u043a\u0438: a, abc, neOdinSimvol, sTROKa. \u0415\u0441\u043b\u0438 \u0430\u0442\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u0438\u0442 \u0438\u0437 \u043f\u0440\u043e\u0431\u0435\u043b\u0430, \u0437\u0430\u043f\u044f\u0442\u044b\u0445 \u0438 \u0442\u0434, \u0442\u043e \u043d\u0443\u0436\u043d\u043e \u0438\u0445 \u043e\u0431\u0440\u0430\u043c\u043b\u044f\u0442\u044c \u0432 \u043e\u0434\u0438\u043d\u0430\u0440\u043d\u044b\u0435 \u043a\u043e\u0432\u044b\u0447\u043a\u0438. \u041f\u0440\u0438\u043c\u0435\u0440 \u0430\u0442\u043e\u043c\u0430: &#8216;\u0441\u0442\u0440\u043e\u043a\u0430 \u0441 \u043f\u0440\u043e\u0431\u0435\u043b\u0430\u043c\u0438, \u0437\u0430\u043f\u044f\u0442\u044b\u043c\u0438. Eto kirilicca&#8217;.<\/p>\n<\/li>\n<li>\n<p>\u041f\u0435\u0440\u043c\u0435\u043d\u043d\u044b\u043c\u0438. \u041d\u0430\u0447\u0438\u043d\u0430\u044e\u0442\u0441\u044f \u0441 \u0437\u0430\u0433\u043b\u0430\u0432\u043d\u043e\u0439 \u0431\u0443\u043a\u0432\u044b: X, Y, Z, Peremennaya, Var.<\/p>\n<\/li>\n<li>\n<p>\u0421\u0442\u0440\u0443\u043a\u0442\u0443\u0440\u0430\u043c\u0438 (\u0441\u043b\u043e\u0436\u043d\u044b\u0435 \u0442\u0435\u0440\u043c\u044b). \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, study(misha, lp).<\/p>\n<\/li>\n<li>\n<p>\u0421\u043f\u0438\u0441\u043a\u0430\u043c\u0438. \u041f\u0440\u0438\u043c\u0435\u0440: [X1], [Head|Tail]. \u041c\u044b \u0440\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u0438\u0445 \u043f\u043e\u0437\u0436\u0435 \u0432 \u044d\u0442\u043e\u0439 \u0441\u0442\u0430\u0442\u044c\u0435.<\/p>\n<p><a href=\"http:\/\/codenet.ru\/progr\/alg\/ai\/htm\/gl4_3.php\" rel=\"noopener noreferrer nofollow\">\u0415\u0441\u0442\u044c \u0445\u043e\u0440\u043e\u0448\u0430\u044f \u0441\u0442\u0430\u0442\u044c\u044f<\/a>, \u043a\u043e\u0442\u043e\u0440\u0430\u044f \u043f\u043e\u0434\u0440\u043e\u0431\u043d\u043e \u0440\u0430\u0441\u0441\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043f\u0440\u043e \u0441\u0438\u043d\u0442\u0430\u043a\u0441\u0438\u0441 \u0438 \u0442\u0435\u0440\u043c\u0438\u043d\u043e\u043b\u043e\u0433\u0438\u044e \u041f\u0440\u043e\u043b\u043e\u0433\u0430. \u0420\u0435\u043a\u043e\u043c\u0435\u043d\u0434\u0443\u044e \u0435\u0451, \u0447\u0442\u043e\u0431\u044b \u043b\u0443\u0447\u0448\u0435 <em>\u043f\u043e\u043d\u044f\u0442\u044c \u043f\u043e\u043d\u044f\u0442\u0438\u044f<\/em> \u041f\u0440\u043e\u043b\u043e\u0433.<\/p>\n<\/li>\n<\/ol>\n<p><strong>\u041f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435<\/strong> \u043c\u043e\u0433\u0443\u0442 \u043f\u0440\u0438\u043d\u044f\u0442\u044c \u043b\u044e\u0431\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435. \u041e\u043d\u0438 \u043d\u0443\u0436\u043d\u044b \u0434\u043b\u044f \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u0435\u043b\u044c\u0441\u0442\u0432\u0430 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0439.<\/p>\n<p>study(mark, book). \u2014 \u0442\u0430\u043a\u0438\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f <strong>\u0444\u0430\u043a\u0442\u0430\u043c\u0438<\/strong>. \u041e\u043d\u0438 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0441\u0442\u0438\u043d\u044b. \u0415\u0441\u043b\u0438 \u0444\u0430\u043a\u0442\u0430 \u0432 \u0431\u0430\u0437\u0435 \u0437\u043d\u0430\u043d\u0438\u0439 \u043d\u0435\u0442\u0443, \u0442\u043e \u0442\u0430\u043a\u043e\u0439 \u0444\u0430\u043a\u0442 \u043b\u043e\u0436\u043d\u044b\u0439. \u0424\u0430\u043a\u0442\u044b \u043d\u0443\u0436\u043d\u043e \u043e\u043a\u0430\u043d\u0447\u0438\u0432\u0430\u0442\u044c \u0442\u043e\u0447\u043a\u043e\u0439, \u043a\u0430\u043a \u0440\u0443\u0441\u0441\u043a\u043e\u043c \u044f\u0437\u044b\u043a\u0435.                                    <\/p>\n<p>&#171;\u0417\u0430\u0434\u0430\u0432\u0430\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u041f\u0440\u043e\u043b\u043e\u0433\u0443&#187; \u043e\u0437\u043d\u0430\u0447\u0430\u0435\u0442 \u043f\u043e\u043f\u0440\u043e\u0441\u0438\u0442\u044c \u041f\u0440\u043e\u043b\u043e\u0433 \u0434\u043e\u043a\u0430\u0437\u0430\u0442\u044c \u043d\u0430\u0448\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435. \u041f\u0440\u0438\u043c\u0435\u0440: ?- study(mark, book). \u0415\u0441\u043b\u0438 \u043d\u0430\u0448\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435 \u0432\u0441\u0435\u0433\u0434\u0430 \u0438\u0441\u0442\u0438\u043d\u043e, \u0442\u043e \u041f\u0440\u043e\u043b\u043e\u0433 \u043d\u0430\u043f\u0435\u0447\u0430\u0442\u0430\u0435\u0442<em> true<\/em>, \u0435\u0441\u043b\u0438 \u0432\u0441\u0435\u0433\u0434\u0430 \u043b\u043e\u0436\u043d\u043e, \u0442\u043e <em>false<\/em>. \u0415\u0441\u043b\u0438 \u043d\u0430\u0448\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435 \u0432\u0435\u0440\u043d\u043e \u043f\u0440\u0438 \u043d\u0435\u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f\u0445 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445, \u0442\u043e \u041f\u0440\u043e\u043b\u043e\u0433 \u0432\u044b\u0432\u0435\u0434\u0435\u0442 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u044f \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0445, \u043f\u0440\u0438 \u043a\u043e\u0442\u043e\u0440\u044b\u0445 \u043d\u0430\u0448\u0435 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0435\u043d\u0438\u0435 \u0432\u0435\u0440\u043d\u043e.<\/p>\n<p>\u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0437\u0430\u0433\u0440\u0443\u0437\u0438\u043c \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u044b \u0432 \u041f\u0440\u043e\u043b\u043e\u0433 \u0438 \u0431\u0443\u0434\u0435\u043c \u0437\u0430\u0434\u0430\u0432\u0430\u0442\u044c \u0432\u043e\u043f\u0440\u043e\u0441\u044b. \u0414\u0430\u0432\u0430\u0439\u0442\u0435 \u0443\u0437\u043d\u0430\u0435\u043c, \u0447\u0442\u043e \u0438\u0437\u0443\u0447\u0430\u043b mark. \u0414\u043b\u044f \u044d\u0442\u043e\u0433\u043e \u043d\u0430\u043c \u043d\u0443\u0436\u043d\u043e \u043d\u0430\u043f\u0438\u0441\u0430\u0442\u044c &#171;study(mark, X).&#187; \u0415\u0441\u043b\u0438 \u043c\u044b \u043f\u0440\u043e\u0436\u043c\u0435\u043c &#171;<em>Enter<\/em>&#171;, \u0442\u043e \u041f\u0440\u043e\u043b\u043e\u0433 \u043d\u0430\u043c \u0432\u044b\u0434\u0430\u0441\u0442 \u043f\u0435\u0440\u0432\u043e\u0435 \u043f\u043e\u043f\u0430\u0432\u0448\u0435\u0435\u0441\u044f \u0440\u0435\u0448\u0435\u043d\u0438\u0435<\/p>\n<pre><code>?- study(mark, X). X = book .<\/code><\/pre>\n<p>\u0427\u0442\u043e\u0431\u044b \u043f\u043e\u043b\u0443\u0447\u0438\u0442\u044c \u0432\u0441\u0435 \u0432\u043e\u0437\u043c\u043e\u0436\u043d\u044b\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u044f, \u043d\u0443\u0436\u043d\u043e \u043f\u0440\u043e\u0436\u0438\u043c\u0430\u0442\u044c \u0442\u043e\u0447\u043a\u0443 \u0441 \u0437\u0430\u043f\u044f\u0442\u043e\u0439 &#171;<em>;<\/em>&#171;.<\/p>\n<pre><code>?- study(mark, X). X = book ; X = studentbook ; X = docs.<\/code><\/pre>\n<p>\u041c\u043e\u0436\u0435\u043c \u0443\u0437\u043d\u0430\u0442\u044c, \u043a\u0442\u043e \u0438\u0437\u0443\u0447\u0430\u043b \u0434\u043e\u043a\u0443\u043c\u0435\u043d\u0442\u0430\u0446\u0438\u044e.<\/p>\n<pre><code>?- study(Who, docs). Who = mark ; Who = misha.<\/code><\/pre>\n<p>\u041c\u043e\u0436\u043d\u043e \u0443\u0437\u043d\u0430\u0442\u044c, \u043a\u0442\u043e \u0438 \u0447\u0442\u043e \u0438\u0437\u0443\u0447\u0430\u043b!<\/p>\n<pre><code>?- study(Who, Object). Who = mark, Object = book ; Who = mark, Object = studentbook ; Who = mark, Object = docs ; Who = misha, Object = math ; Who = misha, Object = lp ; Who = misha, Object = docs ; Who = misha, Object = studentbook.<\/code><\/pre>\n<p>\u041f\u0440\u043e\u043b\u043e\u0433 \u043f\u0440\u043e\u0445\u043e\u0434\u0438\u0442\u0441\u044f \u043f\u043e \u0432\u0441\u0435\u0439 \u0431\u0430\u0437\u0435 \u0444\u0430\u043a\u0442\u043e\u0432 \u0438  \u043d\u0430\u0445\u043e\u0434\u0438\u0442 \u0432\u0441\u0435 \u0442\u0430\u043a\u0438\u0435 \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435 Who \u0438 Object, \u0447\u0442\u043e \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442 study(Who, Object) \u0431\u0443\u0434\u0435\u0442 \u0438\u0441\u0442\u0438\u043d\u043d\u044b\u043c.<\/p>\n<p>\u0420\u0430\u0437\u0431\u0435\u0440\u0435\u043c \u043f\u0440\u0430\u0432\u0438\u043b\u0430 \u0432 \u041f\u0440\u043e\u043b\u043e\u0433\u0435. \u041d\u0430\u043f\u0438\u0448\u0435\u043c \u0435\u0449\u0451 \u043e\u0434\u043d\u0443 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0443 <em>old.pl<\/em><\/p>\n<pre><code>% \u042d\u0442\u043e \u0444\u0430\u043a\u0442\u044b older(sasha, lesha). % \u0421\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438 older(misha, sasha). % \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0421\u0430\u0448\u0438 older(misha, dasha). % \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0414\u0430\u0448\u0438 older(masha, misha). % \u041c\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041c\u0438\u0448\u0438  % \u042d\u0442\u043e \u043f\u0440\u0430\u0432\u0438\u043b\u043e older(X,Y) :- older(X, Z), older(Z,Y).  % X \u0441\u0442\u0430\u0440\u0448\u0435 Y, \u0435\u0441\u043b\u0438 X \u0441\u0442\u0430\u0440\u0448\u0435 Z \u0438 Z \u0441\u0442\u0430\u0440\u0448\u0435 Y % X, Y, Z - \u044d\u0442\u043e \u043f\u0435\u0440\u0435\u043c\u0435\u043d\u043d\u044b\u0435. \u041e\u043d\u0438 \u043c\u043e\u0433\u0443\u0442 \u043f\u0440\u0438\u043d\u044f\u0442\u044c \u043b\u044e\u0431\u043e\u0435 \u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435, % \u043a\u043e\u0442\u043e\u0440\u043e\u0435 \u0435\u0441\u0442\u044c \u0432 \u0431\u0430\u0437\u0435 \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u043e\u0432. % \u041d\u0430\u043f\u0440\u0438\u043c\u0435\u0440: \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438, \u0435\u0441\u043b\u0438 \u041c\u0438\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u0421\u0430\u0448\u0438 \u0438 \u0421\u0430\u0448\u0430 \u0441\u0442\u0430\u0440\u0448\u0435 \u041b\u0451\u0448\u0438<\/code><\/pre>\n<p>older(X,Y) :- older(X, Z), older(Z,Y) \u2014 \u0442\u0430\u043a\u0438\u0435 \u043a\u043e\u043d\u0441\u0442\u0440\u0443\u043a\u0446\u0438\u0438 \u043d\u0430\u0437\u044b\u0432\u0430\u044e\u0442\u0441\u044f <strong>\u043f\u0440\u0430\u0432\u0438\u043b\u0430\u043c\u0438<\/strong>. \u041e\u043d\u0438 \u0438\u0441\u0442\u0438\u043d\u044b \u0442\u043e\u043b\u044c\u043a\u043e \u043f\u0440\u0438 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u044b\u0445 \u0443\u0441\u043b\u043e\u0432\u0438\u044f\u0445.<\/p>\n<\/p>\n<\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-321412","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/321412","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=321412"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/321412\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=321412"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=321412"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=321412"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}