\/* Program Lab_6_1.PRO *\/
\n \/* \u041d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435. \u0414\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u044d\u043a\u0441\u043f\u0435\u0440\u0442\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b. *\/
\n \/* \u042d\u0442\u043e \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u0430, \u0431\u0430\u0437\u0438\u0440\u0443\u044e\u0449\u0430\u044f\u0441\u044f \u043d\u0430 \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u0445 *\/
\n \/* \u0417\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u0435: \u044d\u0442\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0434\u043b\u044f \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043f\u043e\u0440\u043e\u0434\u044b. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 *\/
\n \/* \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u043e\u043d\u043d\u044b\u0445 \u043f\u0440\u0430\u0432\u0438\u043b \u0434\u043b\u044f \u0432\u044b\u0432\u043e\u0434\u0430 *\/
\n \/* \u0440\u0435\u0448\u0435\u043d\u0438\u044f *\/
\ndomains
\ndatabase
\n xpositive(symbol,symbol)
\n xnegative(symbol,symbol)
\n
\npredicates
\n do_expert_job
\n do_consulting
\n ask(symbol,symbol)
\n jivotnoe_is(symbol)
\n it_is(symbol)
\n positive(symbol,symbol)
\n negative(symbol,symbol)
\n remember(symbol,symbol,symbol)
\n clear_facts
\nclauses
\n \/* \u0421\u0438\u0441\u0442\u0435\u043c\u0430 \u043f\u043e\u043b\u044c\u0437\u043e\u0432\u0430\u0442\u0435\u043b\u044c\u0441\u043a\u043e\u0433\u043e \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441\u0430 (\u0421\u041f\u0418) *\/
\n do_expert_job :-
\n nl,write(«* * * * * * * * * * * * * * * * * * * *»),
\n nl,write(» WELCOME TO A DOG EXPERT SYSTEM «),
\n nl,write(» «),
\n nl,write(«This is a dog identification system. «),
\n nl,write(«Please answer the question about «),
\n nl,write(«the dog you would like by typing in «),
\n nl,write(«‘yes’ or ‘no’. «),
\n nl,write(«* * * * * * * * * * * * * * * * * * * *»),
\n nl,nl,
\n do_consulting,
\n write(«Press space bar.»),nl,
\n exit.
\n do_consulting :-
\n jivotnoe_is(X),!,nl,
\n write(«pozdravleaem vi nashli (n)»,X,».»),nl,
\n clear_facts.
\n do_consulting :-
\n nl,write(«Sorry I can’t help you ! «),
\n clear_facts.<\/p>\n
ask(X,Y) :-
\n write(» Question :- «,X,» it «,Y,» ?»),
\n readln(Reply),
\n remember(X,Y,Reply).
\n \/* \u041c\u0415\u0425\u0410\u041d\u0418\u0417\u041c \u0412\u042b\u0412\u041e\u0414\u0410 *\/
\n positive(X,Y) :-
\n xpositive(X,Y),!.
\n positive(X,Y) :-
\n not(negative(X,Y)),!,
\n ask(X,Y).
\n negative(X,Y) :-
\n xnegative(X,Y),!.
\n remember(X,Y,yes) :-
\n asserta(xpositive(X,Y)).
\n remember(X,Y,no) :-
\n asserta(xnegative(X,Y)),
\n fail.
\n clear_facts :-
\n retract(xpositive(_,_)),
\n fail.
\n clear_facts :-
\n retract(xnegative(_,_)),
\n fail.
\n \/* \u041f\u0420\u041e\u0414\u0423\u041a\u0426\u0418\u041e\u041d\u041d\u042b\u0415 \u041f\u0420\u0410\u0412\u0418\u041b\u0410 *\/
\n jivotnoe_is(«Pig») :-
\n it_is(«non haired animal»),
\n positive(has,»imeet bolee 50 cantimetre»),
\n positive(has,»pyatachok»),
\n positive(has,»hvost kolechkom»),
\n positive(has,»longer ushi»),!.
\n jivotnoe_is(«Koza») :-
\n it_is(«non haired animal»),
\n positive(has,»height under 1 metre»),
\n positive(has,»longer ears»),
\n positive(has,»roga»),
\n positive(has,»vimya»),
\n positive(has,»hvost»),!.
\n jivotnoe_is(«dog») :-
\n it_is(«havired»),
\n positive(has,»rost do 50 centimetre»),
\n positive(has,»dlinnie ushi»),
\n positive(has,»ono gavkaet»),
\n positive(has,»hvost»),!.
\n jivotnoe_is(«Krolik») :-
\n it_is(«haired»),
\n positive(has,»ves do 5 kg»),
\n positive(has,»korotkii hvost»),
\n positive(has,»longer ears»),
\n positive(has,»cenniy meh»),!.
\n jivotnoe_is(«Akula») :-
\n it_is(«non haired animal»),
\n positive(has,»bolee 500 kg»),
\n positive(has,»plavniki»),
\n positive(has,»many zubov»),!.
\n jivotnoe_is(«Loshadka») :-
\n it_is(«haired»),
\n positive(has,»tail and griva»),
\n positive(has,»kopita»),
\n positive(has,»big ushi»),
\n positive(has,»vityanutaya morda»),!.
\n jivotnoe_is(«Korova») :-
\n it_is(«haired»),
\n positive(has,»big nos»),
\n positive(has,»roga»),
\n positive(has,»kopita»),
\n positive(has,»hvost»),
\n positive(has,»vimya»),
\n positive(has,»moloko»),
\n positive(has,»weight over 100 kg»),!.
\n it_is(«non haired animal») :-
\n positive(has,»non haired animal»),!.
\n it_is(«haired») :-
\n positive(has,»long-haired»),!.
\n goal
\n do_expert_job.<\/p>\n","protected":false},"excerpt":{"rendered":"
\/* Program Lab_6_1.PRO *\/ \/* \u041d\u0430\u0437\u043d\u0430\u0447\u0435\u043d\u0438\u0435. \u0414\u0435\u043c\u043e\u043d\u0441\u0442\u0440\u0430\u0446\u0438\u044f \u0440\u0430\u0431\u043e\u0442\u044b \u044d\u043a\u0441\u043f\u0435\u0440\u0442\u043d\u043e\u0439 \u0441\u0438\u0441\u0442\u0435\u043c\u044b. *\/ \/* \u042d\u0442\u043e \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u043e\u043d\u043d\u0430\u044f \u0441\u0438\u0441\u0442\u0435\u043c\u0430, \u0431\u0430\u0437\u0438\u0440\u0443\u044e\u0449\u0430\u044f\u0441\u044f \u043d\u0430 \u043f\u0440\u0430\u0432\u0438\u043b\u0430\u0445 *\/ \/* \u0417\u0430\u043c\u0435\u0447\u0430\u043d\u0438\u0435: \u044d\u0442\u043e \u0441\u0438\u0441\u0442\u0435\u043c\u0430 \u0434\u043b\u044f \u0438\u0434\u0435\u043d\u0442\u0438\u0444\u0438\u043a\u0430\u0446\u0438\u0438 \u043f\u043e\u0440\u043e\u0434\u044b. \u0421\u0438\u0441\u0442\u0435\u043c\u0430 *\/ \/* \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u0435\u0442 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u043e \u043f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u043e\u043d\u043d\u044b\u0445 \u043f\u0440\u0430\u0432\u0438\u043b \u0434\u043b\u044f \u0432\u044b\u0432\u043e\u0434\u0430 *\/ \/* \u0440\u0435\u0448\u0435\u043d\u0438\u044f *\/ domains database xpositive(symbol,symbol) xnegative(symbol,symbol)<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[36],"tags":[],"_links":{"self":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23987"}],"collection":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=23987"}],"version-history":[{"count":1,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23987\/revisions"}],"predecessor-version":[{"id":23988,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23987\/revisions\/23988"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23987"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23987"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23987"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}