\u0426\u0435\u043b\u044c \u0440\u0430\u0431\u043e\u0442\u044b:
\n\u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u043e\u0439 \u044d\u043a\u0441\u043f\u0435\u0440\u0442\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0432 \u0441\u0440\u0435\u0434\u0435 Visual Prolog.<\/p>\n
\u0420\u0430\u0431\u043e\u0442\u0430 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0430 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u0430.
\n\u041d\u0435 \u0432\u044b\u0441\u044b\u043b\u0430\u0439\u0442\u0435 \u0435\u0435 \u0432 \u0442\u0430\u043a\u043e\u043c \u0432\u0438\u0434\u0435, \u0432\u0430\u043c \u0435\u0435 \u043d\u0435 \u0437\u0430\u0447\u0442\u0443\u0442!<\/p>\n
<\/p>\n
\u041a\u0440\u0430\u0442\u043a\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u043e\u0439 \u043e\u0431\u043b\u0430\u0441\u0442\u0438:
\n\u041f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u0430\u044f \u043e\u0431\u043b\u0430\u0441\u0442\u044c: \u043a\u0443\u043b\u0438\u043d\u0430\u0440\u0438\u044f.
\n\u0414\u0430\u043d\u043d\u0430\u044f \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u0430\u044f \u043e\u0431\u043b\u0430\u0441\u0442\u044c \u0441\u043e\u0434\u0435\u0440\u0436\u0438\u0442 \u0438\u043d\u0444\u043e\u0440\u043c\u0430\u0446\u0438\u044e \u043f\u043e \u0440\u0430\u0437\u043b\u0438\u0447\u043d\u044b\u043c \u0431\u043b\u044e\u0434\u0430\u043c, \u043d\u0430\u043f\u0440\u0438\u043c\u0435\u0440, \u0438\u0437 \u043a\u0430\u043a\u0438\u0445 \u043f\u0440\u043e\u0434\u0443\u043a\u0442\u043e\u0432 \u043e\u043d\u0438 \u0433\u043e\u0442\u043e\u0432\u044f\u0442\u0441\u044f, \u043a \u043a\u0430\u043a\u0438\u043c \u0432\u0438\u0434\u0430\u043c \u043e\u0442\u043d\u043e\u0441\u044f\u0442\u0441\u044f, \u043a\u0430\u043a\u043e\u0439 \u043a\u043e\u043d\u0441\u0438\u0441\u0442\u0435\u043d\u0446\u0438\u0438 \u0434\u043e\u043b\u0436\u043d\u044b \u0431\u044b\u0442\u044c \u0438 \u0432 \u043a\u0430\u043a\u043e\u043c \u0441\u043e\u0441\u0442\u043e\u044f\u043d\u0438\u0438 \u043f\u043e\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f.<\/p>\n
\u0426\u0435\u043b\u044c \u0441\u043e\u0437\u0434\u0430\u043d\u0438\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u044b:
\n\u0418\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044f \u0434\u0430\u043d\u043d\u0443\u044e \u044d\u043a\u0441\u043f\u0435\u0440\u0442\u043d\u0443\u044e \u0441\u0438\u0441\u0442\u0435\u043c\u0443, \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c \u043c\u043e\u0436\u0435\u0442 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c \u0431\u043b\u044e\u0434\u043e \u043f\u043e \u0435\u0433\u043e \u0445\u0430\u0440\u0430\u043a\u0442\u0435\u0440\u0438\u0441\u0442\u0438\u043a\u0430\u043c. \u0422\u0430\u043a\u0436\u0435 \u0441\u0438\u0441\u0442\u0435\u043c\u0443 \u043c\u043e\u0436\u043d\u043e \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u044c \u0441 \u0446\u0435\u043b\u044c\u044e \u0432\u044b\u0431\u043e\u0440\u0430 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0433\u043e \u0431\u043b\u044e\u0434\u0430 \u0434\u043b\u044f \u043f\u0440\u0438\u0433\u043e\u0442\u043e\u0432\u043b\u0435\u043d\u0438\u044f, \u0438\u0441\u0445\u043e\u0434\u044f \u0438\u0437 \u043f\u0440\u0435\u0434\u043f\u043e\u0447\u0442\u0435\u043d\u0438\u0439 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044f \u0438\u043b\u0438 \u043d\u0430\u043b\u0438\u0447\u0438\u044f \u0442\u0435\u0445 \u0438\u043b\u0438 \u0438\u043d\u044b\u0445 \u043f\u0440\u043e\u0434\u0443\u043a\u0442\u043e\u0432.<\/p>\n
\u0424\u043e\u0440\u043c\u0430\u043b\u044c\u043d\u043e\u0435 \u043e\u043f\u0438\u0441\u0430\u043d\u0438\u0435 \u043f\u0440\u0435\u0434\u043c\u0435\u0442\u043d\u043e\u0439 \u043e\u0431\u043b\u0430\u0441\u0442\u0438:
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 1.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u043f\u043e\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0433\u043e\u0440\u044f\u0447\u0438\u043c\/\u0442\u0435\u043f\u043b\u044b\u043c
\n\u0418 \u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u0436\u0438\u0434\u043a\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u043f\u0435\u0440\u0432\u043e\u0435 \u0431\u043b\u044e\u0434\u043e.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 2.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u043f\u043e\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0433\u043e\u0440\u044f\u0447\u0438\u043c\/\u0442\u0435\u043f\u043b\u044b\u043c
\n\u0418 \u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u0431\u044b\u0441\u0442\u0440\u043e\u0433\u043e \u043f\u0440\u0438\u0433\u043e\u0442\u043e\u0432\u043b\u0435\u043d\u0438\u044f,
\n\u0422\u041e \u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u2013 \u0444\u0430\u0441\u0442\u0444\u0443\u0434.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 3.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u043f\u043e\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0433\u043e\u0440\u044f\u0447\u0438\u043c\/\u0442\u0435\u043f\u043b\u044b\u043c,
\n\u0422\u041e \u044d\u0442\u043e \u0432\u0442\u043e\u0440\u043e\u0435 \u0431\u043b\u044e\u0434\u043e (\u201c\u0433\u043e\u0440\u044f\u0447\u0435\u0435\u201d).
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 4.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u043b\u0435\u0433\u043a\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u2013 \u0441\u0430\u043b\u0430\u0442.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 5.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u0441\u043b\u0430\u0434\u043a\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u2013 \u0434\u0435\u0441\u0435\u0440\u0442.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 6.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u043f\u0435\u0440\u0432\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u0430
\n\u0418 \u0441 \u0442\u0435\u0441\u0442\u043e\u043c
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0441 \u044f\u0439\u0446\u043e\u043c
\n\u0418 \u043a\u0438\u0441\u043b\u043e\u0432\u0430\u0442\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u0441\u0443\u043f \u0449\u0430\u0432\u0435\u043b\u0435\u0432\u044b\u0439 \u0441 \u0433\u0430\u043b\u0443\u0448\u043a\u0430\u043c\u0438.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 7.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u043f\u0435\u0440\u0432\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u0430
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0441 \u0441\u043e\u043b\u0435\u043d\u044b\u043c\u0438 \u043e\u0433\u0443\u0440\u0446\u0430\u043c\u0438
\n\u0418 \u043a\u0438\u0441\u043b\u043e\u0432\u0430\u0442\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u0440\u0430\u0441\u0441\u043e\u043b\u044c\u043d\u0438\u043a.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 8.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u043f\u0435\u0440\u0432\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u0430
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0441 \u043a\u0430\u043f\u0443\u0441\u0442\u043e\u0439,
\n\u0422\u041e \u044d\u0442\u043e \u0431\u043e\u0440\u0449.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 9.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u043f\u0435\u0440\u0432\u043e\u0435
\n\u0418 \u0438\u0437 \u043a\u0443\u0440\u0438\u0446\u044b
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0441 \u043b\u0430\u043f\u0448\u043e\u0439,
\n\u0422\u041e \u044d\u0442\u043e \u043a\u0443\u0440\u0438\u043d\u044b\u0439 \u0441\u0443\u043f.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 10.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u043f\u0435\u0440\u0432\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u043d\u043e\u0433\u043e \u0444\u0430\u0440\u0448\u0430
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0441 \u043b\u0430\u043f\u0448\u043e\u0439,
\n\u0422\u041e \u044d\u0442\u043e \u0441\u0443\u043f \u0441 \u0444\u0440\u0438\u043a\u0430\u0434\u0435\u043b\u044c\u043a\u0430\u043c\u0438.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 11.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u043f\u0435\u0440\u0432\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u043e\u043b\u043e\u043a\u0430
\n\u0418 \u0441 \u043b\u0430\u043f\u0448\u043e\u0439,
\n\u0422\u041e \u044d\u0442\u043e \u043c\u043e\u043b\u043e\u0447\u043d\u044b\u0439 \u0441\u0443\u043f.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 12.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u043f\u0435\u0440\u0432\u043e\u0435
\n\u0418 \u0438\u0437 \u0440\u044b\u0431\u044b
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c,
\n\u0422\u041e \u044d\u0442\u043e \u0443\u0445\u0430.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 13.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0432\u0442\u043e\u0440\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u043d\u043e\u0433\u043e \u0444\u0430\u0440\u0448\u0430
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0442\u0440\u0430\u0434\u0438\u0446\u0438\u043e\u043d\u043d\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u043f\u044e\u0440\u0435 \u0441 \u043a\u043e\u0442\u043b\u0435\u0442\u043e\u0439.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 14.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0432\u0442\u043e\u0440\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u043d\u043e\u0433\u043e \u0444\u0430\u0440\u0448\u0430
\n\u0418 \u0441 \u0440\u0438\u0441\u043e\u043c
\n\u0418 \u0441 \u043a\u0430\u043f\u0443\u0441\u0442\u043e\u0439,
\n\u0422\u041e \u044d\u0442\u043e \u0433\u043e\u043b\u0443\u0431\u0446\u044b.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 15.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0432\u0442\u043e\u0440\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u0430
\n\u0418 \u0441 \u0440\u0438\u0441\u043e\u043c,
\n\u0422\u041e \u044d\u0442\u043e \u043f\u043b\u043e\u0432.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 16.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0432\u0442\u043e\u0440\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u043d\u043e\u0433\u043e \u0444\u0430\u0440\u0448\u0430
\n\u0418 \u0438\u0437 \u0442\u0435\u0441\u0442\u0430
\n\u0418 \u043d\u0430 \u043f\u0430\u0440\u0443,
\n\u0422\u041e \u044d\u0442\u043e \u043c\u0430\u043d\u0442\u044b.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 17.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0432\u0442\u043e\u0440\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u043d\u043e\u0433\u043e \u0444\u0430\u0440\u0448\u0430
\n\u0418 \u0438\u0437 \u0442\u0435\u0441\u0442\u0430,
\n\u0422\u041e \u044d\u0442\u043e \u043f\u0435\u043b\u044c\u043c\u0435\u043d\u0438.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 18.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0432\u0442\u043e\u0440\u043e\u0435
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u0430
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0441 \u0441\u044b\u0440\u043e\u043c
\n\u0418 \u0441 \u043c\u0430\u0439\u043e\u043d\u0435\u0437\u043e\u043c,
\n\u0422\u041e \u044d\u0442\u043e \u043c\u044f\u0441\u043e \u043f\u043e-\u0444\u0440\u0430\u043d\u0446\u0443\u0437\u0441\u043a\u0438.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 19.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0432\u0442\u043e\u0440\u043e\u0435
\n\u0418 \u0438\u0437 \u0440\u044b\u0431\u044b
\n\u0418 \u0441 \u043d\u0430\u0447\u0438\u043d\u043a\u043e\u0439,
\n\u0422\u041e \u044d\u0442\u043e \u0440\u044b\u0431\u0430 \u0444\u0430\u0440\u0448\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0430\u044f.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 20.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0444\u0430\u0441\u0442\u0444\u0443\u0434
\n\u0418 \u0438\u0437 \u0442\u0435\u0441\u0442\u0430
\n\u0418 \u0441 \u043f\u043e\u043c\u0438\u0434\u043e\u0440\u0430\u043c\u0438
\n\u0418 \u0441 \u043a\u043e\u043b\u0431\u0430\u0441\u043e\u0439
\n\u0418 \u0441 \u0441\u044b\u0440\u043e\u043c
\n\u0418 \u0441 \u043e\u043b\u0438\u0432\u043a\u0430\u043c\u0438,
\n\u0422\u041e \u044d\u0442\u043e \u043f\u0438\u0446\u0446\u0430.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 21.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0444\u0430\u0441\u0442\u0444\u0443\u0434
\n\u0418 \u0438\u0437 \u0442\u0435\u0441\u0442\u0430
\n\u0418 \u0441 \u043a\u043e\u043b\u0431\u0430\u0441\u043e\u0439
\n\u0418 \u0441 \u0441\u044b\u0440\u043e\u043c
\n\u0418 \u0441 \u043c\u0430\u0439\u043e\u043d\u0435\u0437\u043e\u043c,
\n\u0422\u041e \u044d\u0442\u043e \u0431\u0443\u0442\u0435\u0440\u0431\u0440\u043e\u0434.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 22.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0441\u0430\u043b\u0430\u0442
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u0430
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0441 \u0441\u043e\u043b\u0435\u043d\u044b\u043c\u0438 \u043e\u0433\u0443\u0440\u0446\u0430\u043c\u0438
\n\u0418 \u0441 \u044f\u0439\u0446\u043e\u043c
\n\u0418 \u0441 \u043c\u0430\u0439\u043e\u043d\u0435\u0437\u043e\u043c
\n\u0418 \u0442\u0440\u0430\u0434\u0438\u0446\u0438\u043e\u043d\u043d\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u0437\u0438\u043c\u043d\u0438\u0439.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 23.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0441\u0430\u043b\u0430\u0442
\n\u0418 \u0441 \u043f\u043e\u043c\u0438\u0434\u043e\u0440\u0430\u043c\u0438
\n\u0418 \u0441\u043e \u0441\u0432\u0435\u0436\u0438\u043c\u0438 \u043e\u0433\u0443\u0440\u0446\u0430\u043c\u0438
\n\u0418 \u0441 \u0441\u044b\u0440\u043e\u043c
\n\u0418 \u0441 \u043e\u043b\u0438\u0432\u043a\u0430\u043c\u0438
\n\u0418 \u0441 \u043c\u0430\u0439\u043e\u043d\u0435\u0437\u043e\u043c,
\n\u0422\u041e \u044d\u0442\u043e \u0433\u0440\u0435\u0447\u0435\u0441\u043a\u0438\u0439.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 24.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0441\u0430\u043b\u0430\u0442
\n\u0418 \u0438\u0437 \u043c\u044f\u0441\u0430
\n\u0418 \u0441 \u043c\u043e\u0440\u043a\u043e\u0432\u044c\u044e
\n\u0418 \u043a\u0438\u0441\u043b\u043e\u0432\u0430\u0442\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u0445\u0435.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 25.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0441\u0430\u043b\u0430\u0442
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0441 \u044f\u0439\u0446\u043e\u043c
\n\u0418 \u0441 \u0441\u044b\u0440\u043e\u043c
\n\u0418 \u0441 \u043c\u0430\u0439\u043e\u043d\u0435\u0437\u043e\u043c
\n\u0418 \u0441 \u0433\u0440\u0430\u043d\u0430\u0442\u0430\u043c\u0438,
\n\u0422\u041e \u044d\u0442\u043e \u043a\u0440\u0430\u0441\u043d\u0430\u044f \u0448\u0430\u043f\u043e\u0447\u043a\u0430.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 26.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0441\u0430\u043b\u0430\u0442
\n\u0418 \u0441 \u043f\u043e\u043c\u0438\u0434\u043e\u0440\u0430\u043c\u0438
\n\u0418 \u0441\u043e \u0441\u0432\u0435\u0436\u0438\u043c\u0438 \u043e\u0433\u0443\u0440\u0446\u0430\u043c\u0438
\n\u0418 \u0441 \u043c\u0430\u0439\u043e\u043d\u0435\u0437\u043e\u043c,
\n\u0422\u041e \u044d\u0442\u043e \u043b\u0435\u0442\u043d\u0438\u0439.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 27.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0441\u0430\u043b\u0430\u0442
\n\u0418 \u0438\u0437 \u043a\u0443\u0440\u0438\u0446\u044b
\n\u0418 \u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c
\n\u0418 \u0441 \u0441\u043e\u043b\u0435\u043d\u044b\u043c\u0438 \u043e\u0433\u0443\u0440\u0446\u0430\u043c\u0438
\n\u0418 \u0441 \u044f\u0439\u0446\u043e\u043c
\n\u0418 \u0441 \u043c\u0430\u0439\u043e\u043d\u0435\u0437\u043e\u043c
\n\u0418 \u0441 \u0441\u044b\u0440\u043e\u043c,
\n\u0422\u041e \u044d\u0442\u043e \u043d\u0435\u0436\u043d\u043e\u0441\u0442\u044c.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 28.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0434\u0435\u0441\u0435\u0440\u0442
\n\u0418 \u0438\u0437 \u0442\u0435\u0441\u0442\u0430
\n\u0418 \u0438\u0437 \u043c\u043e\u043b\u043e\u043a\u0430
\n\u0418 \u0441 \u043d\u0430\u0447\u0438\u043d\u043a\u043e\u0439,
\n\u0422\u041e \u044d\u0442\u043e \u0431\u043b\u0438\u043d \u0441\u043b\u0430\u0434\u043a\u0438\u0439.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 29.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0434\u0435\u0441\u0435\u0440\u0442
\n\u0418 \u0438\u0437 \u0442\u0435\u0441\u0442\u0430
\n\u0418 \u0438\u0437 \u043c\u043e\u043b\u043e\u043a\u0430,
\n\u0422\u041e \u044d\u0442\u043e \u0431\u043b\u0438\u043d.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 30.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0434\u0435\u0441\u0435\u0440\u0442
\n\u0418 \u0441 \u043d\u0430\u0447\u0438\u043d\u043a\u043e\u0439
\n\u0418 \u0441 \u0448\u043e\u043a\u043e\u043b\u0430\u0434\u043e\u043c,
\n\u0422\u041e \u044d\u0442\u043e \u0448\u043e\u043a\u043e\u043b\u0430\u0434\u043d\u044b\u0435 \u043a\u043e\u043d\u0444\u0435\u0442\u044b.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 31.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0434\u0435\u0441\u0435\u0440\u0442
\n\u0418 \u0441 \u043d\u0430\u0447\u0438\u043d\u043a\u043e\u0439
\n\u0418 \u0438\u0437 \u0442\u0435\u0441\u0442\u0430,
\n\u0422\u041e \u044d\u0442\u043e \u0442\u043e\u0440\u0442.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 32.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0434\u0435\u0441\u0435\u0440\u0442
\n\u0418 \u0441 \u043d\u0430\u0447\u0438\u043d\u043a\u043e\u0439
\n\u0418 \u0438\u0437 \u043c\u043e\u043b\u043e\u043a\u0430
\n\u0418 \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u043b\u043e\u0434\u043d\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u043c\u043e\u0440\u043e\u0436\u0435\u043d\u043e\u0435.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 33.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0434\u0435\u0441\u0435\u0440\u0442
\n\u0418 \u0441 \u0448\u043e\u043a\u043e\u043b\u0430\u0434\u043e\u043c
\n\u0418 \u0438\u0437 \u043c\u043e\u043b\u043e\u043a\u0430
\n\u0418 \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u043b\u043e\u0434\u043d\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u043c\u043e\u0440\u043e\u0436\u0435\u043d\u043e\u0435.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 34.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0434\u0435\u0441\u0435\u0440\u0442
\n\u0418 \u0438\u0437 \u043c\u043e\u043b\u043e\u043a\u0430
\n\u0418 \u043e\u0447\u0435\u043d\u044c \u0445\u043e\u043b\u043e\u0434\u043d\u043e\u0435,
\n\u0422\u041e \u044d\u0442\u043e \u043c\u043e\u0440\u043e\u0436\u0435\u043d\u043e\u0435.
\n\u041f\u0440\u0430\u0432\u0438\u043b\u043e 35.
\n\u0415\u0421\u041b\u0418 \u0431\u043b\u044e\u0434\u043e \u2013 \u0434\u0435\u0441\u0435\u0440\u0442
\n\u0418 \u0438\u0437 \u043c\u043e\u043b\u043e\u043a\u0430,
\n\u0422\u041e \u044d\u0442\u043e \u043c\u043e\u043b\u043e\u0447\u043d\u044b\u0439 \u043a\u043e\u043a\u0442\u0435\u0439\u043b\u044c.<\/p>\n
\u041f\u0440\u0438\u043c\u0435\u0440 \u0440\u0430\u0431\u043e\u0442\u044b \u0441\u0438\u0441\u0442\u0435\u043c\u044b.<\/p>\n
1.\r\n?- retractall(_), recognition(\"\u0431\u043b\u044e\u0434\u043e\").\r\n\u0411\u043b\u044e\u0434\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u043f\u043e\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0433\u043e\u0440\u044f\u0447\u0438\u043c\/\u0442\u0435\u043f\u043b\u044b\u043c?\r\ny\r\n\u0431\u043b\u044e\u0434\u043e \u0436\u0438\u0434\u043a\u043e\u0435?\r\ny\r\n\u044d\u0442\u043e \u0431\u043e\u043b\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u043f\u043e\u0445\u043e\u0436\u0435 \u043d\u0430 \u0431\u043b\u044e\u0434\u043e \u2013 \u043f\u0435\u0440\u0432\u043e\u0435 (\u043f\u0440\u0430\u0432\u0438\u043b\u043e 1)\r\n\u0438\u0437 \u043c\u044f\u0441\u0430?\r\nn\r\n\u0438\u0437 \u043a\u0443\u0440\u0438\u0446\u044b?\r\ny\r\n\u0441 \u043b\u0430\u043f\u0448\u043e\u0439?\r\ny\r\n\u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c?\r\ny\r\n\u044d\u0442\u043e \u0431\u043e\u043b\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u043f\u043e\u0445\u043e\u0436\u0435 \u043d\u0430 \u043f\u0435\u0440\u0432\u043e\u0435 \u2013 \u043a\u0443\u0440\u0438\u043d\u044b\u0439 \u0441\u0443\u043f (\u043f\u0440\u0430\u0432\u0438\u043b\u043e 9)\r\nyes\r\n<\/pre>\n\u041f\u0440\u0438\u043c\u0435\u0440 \u043f\u043e\u043a\u0430\u0437\u044b\u0432\u0430\u0435\u0442 \u043f\u043e\u043b\u043d\u043e\u0435 \u0440\u0430\u0441\u043f\u043e\u0437\u043d\u0430\u0432\u0430\u043d\u0438\u0435 \u0431\u043b\u044e\u0434\u0430.<\/p>\n
2.\r\n?- retractall(_), recognition(\"\u0431\u043b\u044e\u0434\u043e\").\r\n\u0411\u043b\u044e\u0434\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u043f\u043e\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0433\u043e\u0440\u044f\u0447\u0438\u043c\/\u0442\u0435\u043f\u043b\u044b\u043c?\r\nn\r\n\u0431\u043b\u044e\u0434\u043e \u043b\u0435\u0433\u043a\u043e\u0435?\r\ny\r\n\u044d\u0442\u043e \u0431\u043e\u043b\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u043f\u043e\u0445\u043e\u0436\u0435 \u043d\u0430 \u0431\u043b\u044e\u0434\u043e - \u0441\u0430\u043b\u0430\u0442 (\u043f\u0440\u0430\u0432\u0438\u043b\u043e 4)\r\n\u0438\u0437 \u043c\u044f\u0441\u0430?\r\nn\r\n\u0441 \u043f\u043e\u043c\u0438\u0434\u043e\u0440\u0430\u043c\u0438?\r\nn\r\n\u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c?\r\ny\r\n\u0441 \u044f\u0439\u0446\u043e\u043c?\r\ny\r\n\u0441 \u0441\u044b\u0440\u043e\u043c?\r\ny\r\n\u0441 \u043c\u0430\u0439\u043e\u043d\u0435\u0437\u043e\u043c?\r\ny\r\n\u0441 \u0433\u0440\u0430\u043d\u0430\u0442\u0430\u043c\u0438?\r\ny\r\n\u044d\u0442\u043e \u0431\u043e\u043b\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u043f\u043e\u0445\u043e\u0436\u0435 \u043d\u0430 \u0441\u0430\u043b\u0430\u0442 \u2013 \u043a\u0440\u0430\u0441\u043d\u0430\u044f \u0448\u0430\u043f\u043e\u0447\u043a\u0430 (\u043f\u0440\u0430\u0432\u0438\u043b\u043e 25)\r\nyes\r\n<\/pre>\n\u041b\u0438\u0441\u0442\u0438\u043d\u0433 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u043d\u0430 \u044f\u0437\u044b\u043a\u0435 Visial Prolog:<\/p>\n
domains\r\nstr=string.\r\nint=integer.\r\nintlist=integer*.\r\npredicates\r\nnondeterm rule(int,str,str,intlist).\r\nnondeterm complete(int).\r\nnondeterm recognition(str).\r\nnondeterm discover(intlist).\r\nnondeterm ask(int).\r\nfacts\r\nfact(int,str).\r\nclauses\r\n\r\nrule(1,\"\u0431\u043b\u044e\u0434\u043e\",\"\u043f\u0435\u0440\u0432\u043e\u0435\",[1,2]).\r\nrule(2,\"\u0431\u043b\u044e\u0434\u043e\",\"\u0444\u0430\u0441\u0442\u0444\u0443\u0434\",[1,3]).\r\nrule(3,\"\u0431\u043b\u044e\u0434\u043e\",\"\u0432\u0442\u043e\u0440\u043e\u0435\",[1]).\r\nrule(4,\"\u0431\u043b\u044e\u0434\u043e\",\"\u0441\u0430\u043b\u0430\u0442\",[4]).\r\nrule(5,\"\u0431\u043b\u044e\u0434\u043e\",\"\u0434\u0435\u0441\u0435\u0440\u0442\",[5]).\r\n\r\nrule(6,\"\u043f\u0435\u0440\u0432\u043e\u0435\",\"\u0441\u0443\u043f \u0449\u0430\u0432\u0435\u043b\u0435\u0432\u044b\u0439 \u0441 \u0433\u0430\u043b\u0443\u0448\u043a\u0430\u043c\u0438\",[6,10,12,18,27]).\r\nrule(7,\"\u043f\u0435\u0440\u0432\u043e\u0435\",\"\u0440\u0430\u0441\u0441\u043e\u043b\u044c\u043d\u0438\u043a\",[6,12,16,27]).\r\nrule(8,\"\u043f\u0435\u0440\u0432\u043e\u0435\",\"\u0431\u043e\u0440\u0449\",[6,12,14]).\r\nrule(9,\"\u043f\u0435\u0440\u0432\u043e\u0435\",\"\u043a\u0443\u0440\u0438\u043d\u044b\u0439 \u0441\u0443\u043f\",[7,11,12]).\r\nrule(10,\"\u043f\u0435\u0440\u0432\u043e\u0435\",\"\u0441\u0443\u043f \u0441 \u0444\u0440\u0438\u043a\u0430\u0434\u0435\u043b\u044c\u043a\u0430\u043c\u0438\",[8,11,12]).\r\nrule(11,\"\u043f\u0435\u0440\u0432\u043e\u0435\",\"\u043c\u043e\u043b\u043e\u0447\u043d\u044b\u0439 \u0441\u0443\u043f\",[11,26]).\r\nrule(12,\"\u043f\u0435\u0440\u0432\u043e\u0435\",\"\u0443\u0445\u0430\",[9,12]).\r\n\r\nrule(13,\"\u0432\u0442\u043e\u0440\u043e\u0435\",\"\u043f\u044e\u0440\u0435 \u0441 \u043a\u043e\u0442\u043b\u0435\u0442\u043e\u0439\",[8,12,29]).\r\nrule(14,\"\u0432\u0442\u043e\u0440\u043e\u0435\",\"\u0433\u043e\u043b\u0443\u0431\u0446\u044b\",[8,13,14]).\r\nrule(15,\"\u0432\u0442\u043e\u0440\u043e\u0435\",\"\u043f\u043b\u043e\u0432\",[6,13]).\r\nrule(16,\"\u0432\u0442\u043e\u0440\u043e\u0435\",\"\u043c\u0430\u043d\u0442\u044b\",[8,10,28]).\r\nrule(17,\"\u0432\u0442\u043e\u0440\u043e\u0435\",\"\u043f\u0435\u043b\u044c\u043c\u0435\u043d\u0438\",[8,10]).\r\nrule(18,\"\u0432\u0442\u043e\u0440\u043e\u0435\",\"\u043c\u044f\u0441\u043e \u043f\u043e-\u0444\u0440\u0430\u043d\u0446\u0443\u0437\u0441\u043a\u0438\",[6,12,20,22]).\r\nrule(19,\"\u0432\u0442\u043e\u0440\u043e\u0435\",\"\u0440\u044b\u0431\u0430 \u0444\u0430\u0440\u0448\u0438\u0440\u043e\u0432\u0430\u043d\u043d\u0430\u044f\",[9,24]).\r\n\r\nrule(20,\"\u0444\u0430\u0441\u0442\u0444\u0443\u0434\",\"\u043f\u0438\u0446\u0446\u0430\",[10,15,17,20,21]).\r\nrule(21,\"\u0444\u0430\u0441\u0442\u0444\u0443\u0434\",\"\u0431\u0443\u0442\u0435\u0440\u0431\u0440\u043e\u0434\",[10,17,20,22]).\r\n\r\nrule(22,\"\u0441\u0430\u043b\u0430\u0442\",\"\u0437\u0438\u043c\u043d\u0438\u0439\",[6,12,16,18,22,29]).\r\nrule(23,\"\u0441\u0430\u043b\u0430\u0442\",\"\u0433\u0440\u0435\u0447\u0435\u0441\u043a\u0438\u0439\",[15,16,20,21,22]).\r\nrule(24,\"\u0441\u0430\u043b\u0430\u0442\",\"\u0445\u0435\",[6,19,27]).\r\nrule(25,\"\u0441\u0430\u043b\u0430\u0442\",\"\u043a\u0440\u0430\u0441\u043d\u0430\u044f \u0448\u0430\u043f\u043e\u0447\u043a\u0430\",[12,18,20,22,23]).\r\nrule(26,\"\u0441\u0430\u043b\u0430\u0442\",\"\u043b\u0435\u0442\u043d\u0438\u0439\",[15,16,22]).\r\nrule(27,\"\u0441\u0430\u043b\u0430\u0442\",\"\u043d\u0435\u0436\u043d\u043e\u0441\u0442\u044c\",[7,12,16,18,20,22]).\r\n\r\nrule(28,\"\u0434\u0435\u0441\u0435\u0440\u0442\",\"\u0431\u043b\u0438\u043d \u0441\u043b\u0430\u0434\u043a\u0438\u0439\",[10,24,26]).\r\nrule(29,\"\u0434\u0435\u0441\u0435\u0440\u0442\",\"\u0431\u043b\u0438\u043d\",[10,26]).\r\nrule(30,\"\u0434\u0435\u0441\u0435\u0440\u0442\",\"\u0448\u043e\u043a\u043e\u043b\u0430\u0434\u043d\u044b\u0435 \u043a\u043e\u043d\u0444\u0435\u0442\u044b\",[24,25]).\r\nrule(31,\"\u0434\u0435\u0441\u0435\u0440\u0442\",\"\u0442\u043e\u0440\u0442\",[10,24]).\r\nrule(32,\"\u0434\u0435\u0441\u0435\u0440\u0442\",\"\u043c\u043e\u0440\u043e\u0436\u0435\u043d\u043e\u0435\",[26,24,30]).\r\nrule(33,\"\u0434\u0435\u0441\u0435\u0440\u0442\",\"\u043c\u043e\u0440\u043e\u0436\u0435\u043d\u043e\u0435\",[26,25,30]).\r\nrule(34,\"\u0434\u0435\u0441\u0435\u0440\u0442\",\"\u043c\u043e\u0440\u043e\u0436\u0435\u043d\u043e\u0435\",[26,30]).\r\nrule(35,\"\u0434\u0435\u0441\u0435\u0440\u0442\",\"\u043c\u043e\u043b\u043e\u0447\u043d\u044b\u0439 \u043a\u043e\u043a\u0442\u0435\u0439\u043b\u044c\",[26]).\r\n\r\nask(X):-fact(X,\"y\"),!.\r\nask(X):-fact(X,\"n\"),!,fail.\r\n\r\nask(1):-write(\"\u0431\u043b\u044e\u0434\u043e \u0434\u043e\u043b\u0436\u043d\u043e \u043f\u043e\u0434\u0430\u0432\u0430\u0442\u044c\u0441\u044f \u0433\u043e\u0440\u044f\u0447\u0438\u043c\/\u0442\u0435\u043f\u043b\u044b\u043c ?\"),!,complete(1).\r\nask(2):-write(\"\u0431\u043b\u044e\u0434\u043e \u0436\u0438\u0434\u043a\u043e\u0435?\"),!,complete(2).\r\nask(3):-write(\"\u0431\u043b\u044e\u0434\u043e \u0431\u044b\u0441\u0442\u0440\u043e\u0433\u043e \u043f\u0440\u0438\u0433\u043e\u0442\u043e\u0432\u043b\u0435\u043d\u0438\u044f?\"),!,complete(3).\r\nask(4):-write(\"\u0431\u043b\u044e\u0434\u043e \u043b\u0435\u0433\u043a\u043e\u0435?\"),!,complete(4).\r\nask(5):-write(\"\u0431\u043b\u044e\u0434\u043e \u0441\u043b\u0430\u0434\u043a\u043e\u0435?\"),!,complete(5).\r\n\r\nask(6):-write(\"\u0438\u0437 \u043c\u044f\u0441\u0430?\"),!,complete(6).\r\nask(7):-write(\"\u0438\u0437 \u043a\u0443\u0440\u0438\u0446\u044b?\"),!,complete(7).\r\nask(8):-write(\"\u0438\u0437 \u043c\u044f\u0441\u043d\u043e\u0433\u043e \u0444\u0430\u0440\u0448\u0430?\"),!,complete(8).\r\nask(9):-write(\"\u0438\u0437 \u0440\u044b\u0431\u044b?\"),!,complete(9).\r\nask(10):-write(\"\u0441 \u0442\u0435\u0441\u0442\u043e\u043c \/ \u0438\u0437 \u0442\u0435\u0441\u0442\u0430?\"),!,complete(10).\r\n\r\nask(11):-write(\"\u0441 \u043b\u0430\u043f\u0448\u043e\u0439?\"),!,complete(11).\r\nask(12):-write(\"\u0441 \u043a\u0430\u0440\u0442\u043e\u0444\u0435\u043b\u0435\u043c?\"),!,complete(12).\r\nask(13):-write(\"\u0441 \u0440\u0438\u0441\u043e\u043c?\"),!,complete(13).\r\nask(14):-write(\"\u0441 \u043a\u0430\u043f\u0443\u0441\u0442\u043e\u0439?\"),!,complete(14).\r\n\r\nask(15):-write(\"\u0441 \u043f\u043e\u043c\u0438\u0434\u043e\u0440\u0430\u043c\u0438?\"),!,complete(15).\r\nask(16):-write(\"\u0441 \u0441\u043e\u043b\u0435\u043d\u044b\u043c\u0438\/\u0441\u0432\u0435\u0436\u0438\u043c\u0438 \u043e\u0433\u0443\u0440\u0446\u0430\u043c\u0438?\"),!,complete(16).\r\nask(17):-write(\"\u0441 \u043a\u043e\u043b\u0431\u0430\u0441\u043e\u0439?\"),!,complete(17).\r\nask(18):-write(\"\u0441 \u044f\u0439\u0446\u043e\u043c?\"),!,complete(18).\r\nask(19):-write(\"\u0441 \u043c\u043e\u0440\u043a\u043e\u0432\u044c\u044e?\"),!,complete(19).\r\nask(20):-write(\"\u0441 \u0441\u044b\u0440\u043e\u043c?\"),!,complete(20).\r\nask(21):-write(\"\u0441 \u043e\u043b\u0438\u0432\u043a\u0430\u043c\u0438?\"),!,complete(21).\r\nask(22):-write(\"\u0441 \u043c\u0430\u0439\u043e\u043d\u0435\u0437\u043e\u043c?\"),!,complete(22).\r\n\r\nask(23):-write(\"\u0441 \u0433\u0440\u0430\u043d\u0430\u0442\u0430\u043c\u0438?\"),!,complete(23).\r\nask(24):-write(\"\u0441 \u043d\u0430\u0447\u0438\u043d\u043a\u043e\u0439?\"),!,complete(24).\r\nask(25):-write(\"\u0441 \u0448\u043e\u043a\u043e\u043b\u0430\u0434\u043e\u043c?\"),!,complete(25).\r\nask(26):-write(\"\u0438\u0437 \u043c\u043e\u043b\u043e\u043a\u0430?\"),!,complete(26).\r\n\r\nask(27):-write(\"\u043a\u0438\u0441\u043b\u043e\u0432\u0430\u0442\u043e\u0435?\"),!,complete(27).\r\nask(28):-write(\"\u043d\u0430 \u043f\u0430\u0440\u0443?\"),!,complete(28).\r\nask(29):-write(\"\u0442\u0440\u0430\u0434\u0438\u0446\u0438\u043e\u043d\u043d\u043e\u0435?\"),!,complete(29).\r\nask(30):-write(\"\u043e\u0447\u0435\u043d\u044c \u0445\u043e\u043b\u043e\u0434\u043d\u043e\u0435?\"),!,complete(30).\r\n\r\nrecognition(X):- rule(N, X, Y, Z), discover(Z), !,\r\nwrite(\"\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u044d\u0442\u043e \u0431\u043e\u043b\u0435\u0435 \u0432\u0441\u0435\u0433\u043e \u043f\u043e\u0445\u043e\u0436\u0435 \u043d\u0430 \", X, \" - \", Y, \" (\u043f\u0440\u0430\u0432\u0438\u043b\u043e \", N,\")\"), nl,\r\nrecognition(Y).\r\nrecognition(\"\u0431\u043b\u044e\u0434\u043e\"):- write(\"\u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u043d\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e!\"),nl,!.\r\nrecognition(\"\u043f\u0435\u0440\u0432\u043e\u0435\"):- write(\"\u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u043d\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u043d\u043e \u0435\u0433\u043e \u0441\u043e\u0441\u0442\u0430\u0432 \u043e\u0447\u0435\u043d\u044c \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u0435\u043d!\"),nl,!.\r\nrecognition(\"\u0432\u0442\u043e\u0440\u043e\u0435\"):- write(\"\u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u043d\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u043d\u043e \u0435\u0433\u043e \u0441\u043e\u0441\u0442\u0430\u0432 \u043e\u0447\u0435\u043d\u044c \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u0435\u043d!\"),nl,!.\r\nrecognition(\"\u0444\u0430\u0441\u0442\u0444\u0443\u0434\"):- write(\"\u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u043d\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e!\"),nl,!.\r\nrecognition(\"\u0441\u0430\u043b\u0430\u0442\"):- write(\"\u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u043d\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e, \u043d\u043e \u0435\u0433\u043e \u0441\u043e\u0441\u0442\u0430\u0432 \u043e\u0447\u0435\u043d\u044c \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b\u0435\u043d!\"),nl,!.\r\nrecognition(\"\u0434\u0435\u0441\u0435\u0440\u0442\"):- write(\"\u044d\u0442\u043e \u0431\u043b\u044e\u0434\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0435 \u043d\u0435 \u0438\u0437\u0432\u0435\u0441\u0442\u043d\u043e!\"),nl,!.\r\nrecognition(_).\r\n\r\ndiscover([]).\r\ndiscover([X|Y]):- ask(X), discover(Y).\r\n\r\ncomplete(X):- nl, readln(Y), assert(fact(X, Y)), Y=\"y\".\r\n\r\ngoal\r\nretractall(_), recognition(\"\u0431\u043b\u044e\u0434\u043e\").\r\n<\/pre>\n","protected":false},"excerpt":{"rendered":"\u0426\u0435\u043b\u044c \u0440\u0430\u0431\u043e\u0442\u044b: \u0421\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u043f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u043d\u043e\u0439 \u044d\u043a\u0441\u043f\u0435\u0440\u0442\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u0432 \u0441\u0440\u0435\u0434\u0435 Visual Prolog. \u0420\u0430\u0431\u043e\u0442\u0430 \u043f\u0440\u0438\u0432\u0435\u0434\u0435\u043d\u0430 \u0432 \u043a\u0430\u0447\u0435\u0441\u0442\u0432\u0435 \u043f\u0440\u0438\u043c\u0435\u0440\u0430. \u041d\u0435 \u0432\u044b\u0441\u044b\u043b\u0430\u0439\u0442\u0435 \u0435\u0435 \u0432 \u0442\u0430\u043a\u043e\u043c \u0432\u0438\u0434\u0435, \u0432\u0430\u043c \u0435\u0435 \u043d\u0435 \u0437\u0430\u0447\u0442\u0443\u0442!<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[13],"tags":[72,71,1738],"class_list":["post-750","post","type-post","status-publish","format-standard","hentry","category-education","tag-prolog","tag-visual-prolog","tag-tusur"],"_links":{"self":[{"href":"https:\/\/msbro.ru\/index.php\/wp-json\/wp\/v2\/posts\/750"}],"collection":[{"href":"https:\/\/msbro.ru\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/msbro.ru\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/msbro.ru\/index.php\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/msbro.ru\/index.php\/wp-json\/wp\/v2\/comments?post=750"}],"version-history":[{"count":0,"href":"https:\/\/msbro.ru\/index.php\/wp-json\/wp\/v2\/posts\/750\/revisions"}],"wp:attachment":[{"href":"https:\/\/msbro.ru\/index.php\/wp-json\/wp\/v2\/media?parent=750"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/msbro.ru\/index.php\/wp-json\/wp\/v2\/categories?post=750"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/msbro.ru\/index.php\/wp-json\/wp\/v2\/tags?post=750"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}