{"id":23962,"date":"2012-12-24T16:03:56","date_gmt":"2012-12-24T13:03:56","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=23962"},"modified":"2012-12-24T16:05:19","modified_gmt":"2012-12-24T13:05:19","slug":"%d0%bb%d0%b0%d0%b1%d0%be%d1%80%d0%b0%d1%82%d0%be%d1%80%d0%bd%d1%8b%d0%b5-%d1%80%d0%b0%d0%b1%d0%be%d1%82%d1%8b-%d0%bf%d0%be-%d0%bf%d1%80%d0%be%d0%bb%d0%be%d0%b3%d1%83-2","status":"publish","type":"post","link":"https:\/\/studentpmr.ru\/?p=23962","title":{"rendered":"\u041b\u0430\u0431\u043e\u0440\u0430\u0442\u043e\u0440\u043d\u044b\u0435 \u0440\u0430\u0431\u043e\u0442\u044b \u043f\u043e \u043f\u0440\u043e\u043b\u043e\u0433\u0443"},"content":{"rendered":"

predicates
\nbogatyr(symbol)
\nim(symbol,symbol,symbol,symbol)
\nap(symbol,symbol,symbol,symbol)
\nms(symbol,symbol,symbol,symbol)
\ndn(symbol,symbol,symbol,symbol)
\nv
\n
\nraznoe(symbol,symbol,symbol,symbol)
\nclauses
\nbogatyr(ubil).
\nbogatyr(ne_ubil).
\nraznoe(Im,Ap,Ms,Dn):-
\nAp=ubil,Im=ne_ubil,Ms=ne_ubil,Dn=ne_ubil.
\nraznoe(Im,Ap,Ms,Dn):-
\nAp=ne_ubil,Im=ubil,Ms=ne_ubil,Dn=ne_ubil.
\nraznoe(Im,Ap,Ms,Dn):-
\nAp=ne_ubil,Im=ne_ubil,Ms=ubil,Dn=ne_ubil.
\nraznoe(Im,Ap,Ms,Dn):-
\nAp=ne_ubil,Im=ne_ubil,Ms=ne_ubil,Dn=ubil.
\nim(Im,Ap,Ms,Dn):-
\nAp=ubil,Im=ne_ubil,Ms=ne_ubil,Dn=ne_ubil.<\/p>\n

ap(Im,Ap,Ms,Dn):-
\nAp=ne_ubil,Im=ne_ubil,Ms=ubil,Dn=ne_ubil.<\/p>\n

ms(Im,Ap,Ms,Dn):-
\nraznoe(Im,Ap,Ms,Dn),
\nMs=ne_ubil.<\/p>\n

dn(Im,Ap,Ms,Dn):-
\nraznoe(Im,Ap,Ms,Dn),
\nDn=ne_ubil.<\/p>\n

v:-
\nbogatyr(Im),
\nbogatyr(Ap),
\nbogatyr(Ms),
\nbogatyr(Dn),
\nnot(im(Im,Ap,Ms,Dn)),
\nnot(ap(Im,Ap,Ms,Dn)),
\nnot(ms(Im,Ap,Ms,Dn)),
\ndn(Im,Ap,Ms,Dn),
\nwrite(«\u0418\u043b\u044c\u044f \u041c\u0443\u0440\u043e\u043c\u0435\u0446 «,Im,»\\n\u0410\u043b\u0435\u0448\u0430 \u041f\u043e\u043f\u043e\u0432\u0438\u0447 «,Ap,»\\n\u041c\u0438\u043a\u0443\u043b\u0430 \u0421\u0435\u043b\u044f\u043d\u043e\u0432\u0438\u0447 «,Ms,»\\n\u0414\u043e\u0431\u0440\u044b\u043d\u044f \u041d\u0438\u043a\u0438\u0442\u0438\u0447 «,Dn,»\\n»).<\/p>\n

v:-
\nbogatyr(Im),
\nbogatyr(Ap),
\nbogatyr(Ms),
\nbogatyr(Dn),
\nnot(im(Im,Ap,Ms,Dn)),
\nnot(ap(Im,Ap,Ms,Dn)),
\nms(Im,Ap,Ms,Dn),
\nnot(dn(Im,Ap,Ms,Dn)),
\nwrite(«\u0418\u043b\u044c\u044f \u041c\u0443\u0440\u043e\u043c\u0435\u0446 «,Im,»\\n\u0410\u043b\u0435\u0448\u0430 \u041f\u043e\u043f\u043e\u0432\u0438\u0447 «,Ap,»\\n\u041c\u0438\u043a\u0443\u043b\u0430 \u0421\u0435\u043b\u044f\u043d\u043e\u0432\u0438\u0447 «,Ms,»\\n\u0414\u043e\u0431\u0440\u044b\u043d\u044f \u041d\u0438\u043a\u0438\u0442\u0438\u0447 «,Dn,»\\n»).<\/p>\n

v:-
\nbogatyr(Im),
\nbogatyr(Ap),
\nbogatyr(Ms),
\nbogatyr(Dn),
\nnot(im(Im,Ap,Ms,Dn)),
\nap(Im,Ap,Ms,Dn),
\nnot(ms(Im,Ap,Ms,Dn)),
\nnot(dn(Im,Ap,Ms,Dn)),
\nwrite(«\u0418\u043b\u044c\u044f \u041c\u0443\u0440\u043e\u043c\u0435\u0446 «,Im,»\\n\u0410\u043b\u0435\u0448\u0430 \u041f\u043e\u043f\u043e\u0432\u0438\u0447 «,Ap,»\\n\u041c\u0438\u043a\u0443\u043b\u0430 \u0421\u0435\u043b\u044f\u043d\u043e\u0432\u0438\u0447 «,Ms,»\\n\u0414\u043e\u0431\u0440\u044b\u043d\u044f \u041d\u0438\u043a\u0438\u0442\u0438\u0447 «,Dn,»\\n»).<\/p>\n

v:-
\nbogatyr(Im),
\nbogatyr(Ap),
\nbogatyr(Ms),
\nbogatyr(Dn),
\nim(Im,Ap,Ms,Dn),
\nnot(ap(Im,Ap,Ms,Dn)),
\nnot(ms(Im,Ap,Ms,Dn)),
\nnot(dn(Im,Ap,Ms,Dn)),
\nwrite(«\u0418\u043b\u044c\u044f \u041c\u0443\u0440\u043e\u043c\u0435\u0446 «,Im,»\\n\u0410\u043b\u0435\u0448\u0430 \u041f\u043e\u043f\u043e\u0432\u0438\u0447 «,Ap,»\\n\u041c\u0438\u043a\u0443\u043b\u0430 \u0421\u0435\u043b\u044f\u043d\u043e\u0432\u0438\u0447 «,Ms,»\\n\u0414\u043e\u0431\u0440\u044b\u043d\u044f \u041d\u0438\u043a\u0438\u0442\u0438\u0447 «,Dn,»\\n»).<\/p>\n

goal<\/p>\n

v.<\/p>\n

\/*\tcreate_tree (A, B) \u043f\u043e\u043c\u0435\u0449\u0430\u0435\u0442 A \u0432 \u043f\u043e\u043b\u0435 \u0434\u0430\u043d\u043d\u044b\u0445 \u043e\u0434\u043d\u043e\u0443\u0437\u043b\u043e\u0432\u043e\u0433\u043e
\n\t\t\t \u0434\u0435\u0440\u0435\u0432\u0430 B
\n\t insert_left (A, B, C) \u0432\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 A \u043a\u0430\u043a \u043b\u0435\u0432\u043e\u0435 \u043f\u043e\u0434\u0434\u0435\u0440\u0435\u0432\u043e B
\n\t\t\t \u0438 \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 C
\n\t insert_right (A, B, C) \u0432\u0441\u0442\u0430\u0432\u043b\u044f\u0435\u0442 A \u043a\u0430\u043a \u043f\u0440\u0430\u0432\u043e\u0435 \u043f\u043e\u0434\u0434\u0435\u0440\u0435\u0432\u043e
\n\t\t\t B \u0438 \u043f\u0440\u0438\u0441\u0432\u0430\u0438\u0432\u0430\u0435\u0442 \u0440\u0435\u0437\u0443\u043b\u044c\u0442\u0430\u0442 C *\/<\/p>\n

domains
\ntreetype = tree (integer, treetype, treetype); empty ()
\npredicates
\ncreate_tree (integer, treetype)
\ninsert_left (treetype, treetype, treetype)
\ninsert_right (treetype, treetype, treetype)
\nobhodLVL(treetype,integer,integer)
\nrun
\nclauses<\/p>\n

create_tree (A, tree (A, empty, empty)).
\ninsert_left (X, tree (A, _, B), tree (A, X, B)).
\ninsert_right (X, tree (A, B, _), tree (A, B, X)).
\nobhodLVL(empty,_,_):-true.
\nobhodLVL(tree(Item,Left,Right),N,V):-
\nNItem,
\nwrite(«[«,Item,»] «),
\nfail.<\/p>\n

obhodLVL(tree (_,Left,Right),N,V):-
\nobhodLVL(Left,N,V),
\nobhodLVL(Right,N,V).
\nrun:-
\n%\u0441\u043e\u0437\u0434\u0430\u043d\u0438\u0435 \u043e\u0434\u043d\u043e\u0443\u0437\u043b\u043e\u0432\u044b\u0445 \u0434\u0435\u0440\u0435\u0432\u044c\u0435\u0432
\ncreate_tree (6, A),
\ncreate_tree (12, B),%12
\ncreate_tree (1, C),
\ncreate_tree (7, D),
\ncreate_tree (14, E),%14
\ncreate_tree (11, F),%11
\ncreate_tree (8, G),
\ncreate_tree (5, H),
\ncreate_tree (21, J),%21
\ncreate_tree (3, K),
\ncreate_tree (4, L),<\/p>\n

% \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u0434\u0435\u0440\u0435\u0432\u0430
\ninsert_left(H,D,D1),
\ninsert_right(J,D1,D2),% D2 — 7
\ninsert_left(K,E,E1), % E1 — 14
\ninsert_left(D2,B,B1),
\ninsert_right(E1,B1,B2), % B2 — 12
\ninsert_right(L,F,F1), % F1 — 11
\ninsert_left(F1,C,C1),
\ninsert_right(G,C1,C2), % C2 — 1
\ninsert_right(C2,A,A1),
\ninsert_left(B2,A1,A2),
\n% A2 \u0432\u0435\u0440\u0448\u0438\u043d\u0430
\n% \u0444\u0443\u043d\u043a\u0446\u0438\u044f \u043e\u0431\u0445\u043e\u0434\u0430 \u0434\u0435\u0440\u0435\u0432\u0430 + \u0432\u044b\u0432\u043e\u0434, \u0434\u0432\u0435 \u0446\u0438\u0444\u0440\u044b \u043c\u0438\u043d\u0438\u043c\u0443\u043c \u0438 \u043c\u0430\u043a\u0441\u0438\u043c\u0443\u043c.. \u0441\u0440\u0430\u0432\u043d\u0435\u043d\u0438\u0435 \u0441\u0442\u0440\u043e\u0433\u043e\u0435
\nobhodLVL(A2,1,10).
\ngoal
\nrun.<\/p>\n

domains
\ndatabase
\n xpositive(symbol,symbol)
\n xnegative(symbol,symbol)<\/p>\n

predicates<\/p>\n

begin_analis
\n result
\n ask(symbol,symbol)
\n problem_is(symbol)
\n % it_is(symbol)
\n positive(symbol,symbol)
\n negative(symbol,symbol)
\n remember(symbol,symbol,symbol)
\n clear_db<\/p>\n

clauses
\n % \u041f\u043e\u043b\u044c\u0437\u043e\u0432\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0439 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441
\n begin_analis :-
\n nl,write(«|||||||\u0414\u0438\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a\u0430 \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0435\u0439 \u0441\u0435\u0442\u0435\u0432\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f.|||||||»),
\n nl,write(«\u041e\u0442\u0432\u0435\u0447\u0430\u0439\u0442\u0435 \u043d\u0430 \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043e \u043f\u0440\u0438\u0447\u0438\u043d\u0430\u0445 \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0435\u0439 yes — \u0434\u0430, no — \u043d\u0435\u0442:»),
\n nl,nl,
\n result,
\n exit.
\n result :-
\n problem_is(X),!,nl,
\n write(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u044c: «,X,».»),nl,
\n clear_db.
\n result :-
\n nl,write(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u044c \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c. «),
\n clear_db.<\/p>\n

ask(X,Y) :-
\n write(X, » «, Y,» ?»),
\n readln(Reply),
\n remember(X,Y,Reply).<\/p>\n

% \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c \u0432\u044b\u0432\u043e\u0434\u0430
\n positive(X,Y) :-
\n xpositive(X,Y),!.
\n positive(X,Y) :-
\n not(negative(X,Y)),!,
\n ask(X,Y).<\/p>\n

negative(X,Y) :-
\n xnegative(X,Y),!.<\/p>\n

remember(X,Y,yes) :-
\n asserta(xpositive(X,Y)).\t% \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043e\u0442\u0432\u0435\u0442\u0430
\n remember(X,Y,no) :-
\n asserta(xnegative(X,Y)),\t% \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043e\u0442\u0432\u0435\u0442\u0430
\n fail.<\/p>\n

clear_db :-
\n retract(xpositive(_,_)),\t% \u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043e\u0442\u0432\u0435\u0442\u043e\u0432
\n fail.
\n clear_db :-
\n retract(xnegative(_,_)),\t% \u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043e\u0442\u0432\u0435\u0442\u043e\u0432
\n fail.<\/p>\n

% \u041f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u043e\u043d\u043d\u044b\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430
\n problem_is(«\u041d\u0435 \u0432\u0432\u0435\u0434\u0435\u043d DNS, \u0432\u0432\u0435\u0434\u0438\u0442\u0435 192,168,1,254») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0432\u0432\u0435\u0434\u0435\u043d\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 IP»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0432\u0432\u0435\u0434\u0435\u043d\u044b\u0445 DNS»),!.<\/p>\n

problem_is(«\u041d\u0435 \u0432\u0432\u0435\u0434\u0435\u043d IP, \u0432\u0432\u0435\u0434\u0438\u0442\u0435 192,168,1,1») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0432\u0432\u0435\u0434\u0435\u043d\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 IP»),!.<\/p>\n

problem_is(«\u0421\u043e\u0437\u0434\u0430\u0439\u0442\u0435 \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»), !.<\/p>\n

problem_is(«\u0412\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0443 \u0412\u0430\u0441 \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0441 \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u0435\u043c(\u043c\u043e\u0434\u0435\u043c,\u0441\u0435\u0442\u0435\u0432\u0430\u044f \u043a\u0430\u0440\u0442\u0430, \u043f\u0440\u043e\u0432\u043e\u0434)») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),!.<\/p>\n

problem_is(«\u041f\u043e\u0434\u043a\u043b\u044e\u0447\u0438\u0442\u0435 \u043f\u0440\u043e\u0432\u043e\u0434\u0430») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),!.<\/p>\n

problem_is(«\u041f\u0440\u043e\u0432\u0435\u0440\u044c\u0442\u0435 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0431\u0435\u043b\u044c») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),!.<\/p>\n

problem_is(«\u041f\u0440\u043e\u0432\u0435\u0434\u0438\u0442\u0435 \u043e\u043f\u043b\u0430\u0442\u0443») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),!.<\/p>\n

goal<\/p>\n

begin_analis.<\/p>\n

domains
\ndatabase
\n xpositive(symbol,symbol)
\n xnegative(symbol,symbol)<\/p>\n

predicates<\/p>\n

begin_analis
\n result
\n ask(symbol,symbol)
\n problem_is(symbol)
\n % it_is(symbol)
\n positive(symbol,symbol)
\n negative(symbol,symbol)
\n remember(symbol,symbol,symbol)
\n clear_db<\/p>\n

clauses
\n % \u041f\u043e\u043b\u044c\u0437\u043e\u0432\u0442\u0435\u043b\u044c\u0441\u043a\u0438\u0439 \u0438\u043d\u0442\u0435\u0440\u0444\u0435\u0439\u0441
\n begin_analis :-
\n nl,write(«|||||||\u0414\u0438\u0430\u0433\u043d\u043e\u0441\u0442\u0438\u043a\u0430 \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0435\u0439 \u0441\u0435\u0442\u0435\u0432\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f.|||||||»),
\n nl,write(«\u041e\u0442\u0432\u0435\u0447\u0430\u0439\u0442\u0435 \u043d\u0430 \u0432\u043e\u043f\u0440\u043e\u0441\u044b \u0441\u0438\u0441\u0442\u0435\u043c\u044b \u043e \u043f\u0440\u0438\u0447\u0438\u043d\u0430\u0445 \u043d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u0435\u0439 yes — \u0434\u0430, no — \u043d\u0435\u0442:»),
\n nl,nl,
\n result,
\n exit.
\n result :-
\n problem_is(X),!,nl,
\n write(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u044c: «,X,».»),nl,
\n clear_db.
\n result :-
\n nl,write(«\u041d\u0435\u0438\u0441\u043f\u0440\u0430\u0432\u043d\u043e\u0441\u0442\u044c \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u044f \u043d\u0435\u0432\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0438\u0442\u044c. «),
\n clear_db.<\/p>\n

ask(X,Y) :-
\n write(X, » «, Y,» ?»),
\n readln(Reply),
\n remember(X,Y,Reply).<\/p>\n

% \u043c\u0435\u0445\u0430\u043d\u0438\u0437\u043c \u0432\u044b\u0432\u043e\u0434\u0430
\n positive(X,Y) :-
\n xpositive(X,Y),!.
\n positive(X,Y) :-
\n not(negative(X,Y)),!,
\n ask(X,Y).<\/p>\n

negative(X,Y) :-
\n xnegative(X,Y),!.<\/p>\n

remember(X,Y,yes) :-
\n asserta(xpositive(X,Y)).\t% \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043e\u0442\u0432\u0435\u0442\u0430
\n remember(X,Y,no) :-
\n asserta(xnegative(X,Y)),\t% \u0414\u043e\u0431\u0430\u0432\u043b\u0435\u043d\u0438\u0435 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u043e\u0433\u043e \u043e\u0442\u0432\u0435\u0442\u0430
\n fail.<\/p>\n

clear_db :-
\n retract(xpositive(_,_)),\t% \u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043f\u043e\u043b\u043e\u0436\u0438\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043e\u0442\u0432\u0435\u0442\u043e\u0432
\n fail.
\n clear_db :-
\n retract(xnegative(_,_)),\t% \u0423\u0434\u0430\u043b\u0435\u043d\u0438\u0435 \u043e\u0442\u0440\u0438\u0446\u0430\u0442\u0435\u043b\u044c\u043d\u044b\u0445 \u043e\u0442\u0432\u0435\u0442\u043e\u0432
\n fail.<\/p>\n

% \u041f\u0440\u043e\u0434\u0443\u043a\u0446\u0438\u043e\u043d\u043d\u044b\u0435 \u043f\u0440\u0430\u0432\u0438\u043b\u0430
\n problem_is(«\u041d\u0435 \u0432\u0432\u0435\u0434\u0435\u043d DNS, \u0432\u0432\u0435\u0434\u0438\u0442\u0435 192,168,1,254») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0432\u0432\u0435\u0434\u0435\u043d\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 IP»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0432\u0432\u0435\u0434\u0435\u043d\u044b\u0445 DNS»),!.<\/p>\n

problem_is(«\u041d\u0435 \u0432\u0432\u0435\u0434\u0435\u043d IP, \u0432\u0432\u0435\u0434\u0438\u0442\u0435 192,168,1,1») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0432\u0432\u0435\u0434\u0435\u043d\u043d\u044b\u0445 \u0434\u0430\u043d\u043d\u044b\u0445 IP»),!.<\/p>\n

problem_is(«\u0421\u043e\u0437\u0434\u0430\u0439\u0442\u0435 \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u0435 \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442 \u0441\u043e\u0435\u0434\u0438\u043d\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»), !.<\/p>\n

problem_is(«\u0412\u043e\u0437\u043c\u043e\u0436\u043d\u043e \u0443 \u0412\u0430\u0441 \u0444\u0438\u0437\u0438\u0447\u0435\u0441\u043a\u0430\u044f \u043f\u0440\u043e\u0431\u043b\u0435\u043c\u0430 \u0441 \u043e\u0431\u043e\u0440\u0443\u0434\u043e\u0432\u0430\u043d\u0438\u0435\u043c(\u043c\u043e\u0434\u0435\u043c,\u0441\u0435\u0442\u0435\u0432\u0430\u044f \u043a\u0430\u0440\u0442\u0430, \u043f\u0440\u043e\u0432\u043e\u0434)») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u043b\u043e\u043a\u0430\u043b\u044c\u043d\u043e\u0433\u043e \u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043d\u0430 \u043a\u043e\u043c\u043f\u044c\u044e\u0442\u0435\u0440\u0435»),!.<\/p>\n

problem_is(«\u041f\u043e\u0434\u043a\u043b\u044e\u0447\u0438\u0442\u0435 \u043f\u0440\u043e\u0432\u043e\u0434\u0430») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u043f\u043e\u0434\u043a\u043b\u044e\u0447\u0435\u043d\u0438\u044f \u043c\u043e\u0434\u0435\u043c\u0430 \u043a \u0442\u0435\u043b\u0435\u0444\u043e\u043d\u043d\u043e\u0439 \u0441\u0435\u0442\u0438 \u0438 \u0441\u0435\u0442\u0438 \u043f\u0438\u0442\u0430\u043d\u0438\u044f»),!.<\/p>\n

problem_is(«\u041f\u0440\u043e\u0432\u0435\u0440\u044c\u0442\u0435 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0431\u0435\u043b\u044c») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),
\n positive(«\u043d\u0430\u043b\u0438\u0447\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0440\u0430\u0431\u043e\u0442\u0430\u044e\u0449\u0435\u0433\u043e \u0438\u043d\u0434\u0438\u043a\u0430\u0442\u043e\u0440\u0430 \u0441\u0435\u0442\u0435\u0432\u043e\u0439 \u043a\u0430\u0440\u0442\u044b»),!.<\/p>\n

problem_is(«\u041f\u0440\u043e\u0432\u0435\u0434\u0438\u0442\u0435 \u043e\u043f\u043b\u0430\u0442\u0443») :-<\/p>\n

positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u0437\u0430\u0433\u0440\u0443\u0437\u043a\u0438 \u0441\u0442\u0440\u0430\u043d\u0438\u0446 \u0432 \u0431\u0440\u0430\u0443\u0437\u0435\u0440\u0435»),!.
\n% positive(«\u043e\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0438\u0435»,»\u043e\u043f\u043b\u0430\u0442\u044b \u0438\u043d\u0442\u0435\u0440\u043d\u0435\u0442\u0430»),!.<\/p>\n

goal<\/p>\n

begin_analis.<\/p>\n

predicates
\nigrok(symbol)
\nliga_1(symbol)
\nliga_2(symbol)
\nliga_3(symbol)
\nvizov(symbol, symbol)
\nvizov1(symbol, symbol)<\/p>\n

clauses
\n igrok(sergey).
\n igrok(dmitriy).
\n igrok(valera).
\n igrok(petr).
\n igrok(mihail).
\n igrok(nikolay).
\n igrok(alex).
\n igrok(alexandr).
\n igrok(kostya).
\n igrok(barbara).
\n igrok(anna).
\n igrok(tatiana).<\/p>\n

liga_1(sergey).
\n liga_1(dmitriy).
\n liga_1(valera).
\n liga_1(petr).<\/p>\n

liga_2(mihail).
\n liga_2(nikolay).
\n liga_2(alex).
\n liga_2(alexandr).<\/p>\n

liga_3(kostya).
\n liga_3(barbara).
\n liga_3(anna).
\n liga_3(tatiana).<\/p>\n

vizov (X, Y):-
\n igrok(X),
\n igrok(Y),
\n liga_1(X),
\n X<>Y,
\n not (liga_2(Y)),
\n not (liga_3(Y)).<\/p>\n

vizov1 (X, Y):-
\n igrok(X),
\n igrok(Y),
\n X<>Y,
\n liga_1(X),
\n not (vizov (X,Y)),
\n not (liga_1(Y)),
\n not (liga_3(Y)).<\/p>\n

\/*vizov (X, Y):-
\n igrok(X),
\n igrok(Y),
\n liga_2(X),
\n X<>Y,
\n not (liga_1(Y)).<\/p>\n

vizov (X, Y):-
\n igrok(X),
\n igrok(Y),
\n liga_3(X),
\n X<>Y,
\n liga_3(Y).*\/<\/p>\n

goal
\nvizov(What, Whom);
\nvizov1(What, Whom).<\/p>\n

predicates
\nathl (symbol)
\nbasket (symbol)
\ncrypt (symbol)
\ngame (symbol)
\nplay (symbol, symbol)<\/p>\n

clauses<\/p>\n

athl (kolya).
\nathl (anton).
\nathl (vova).<\/p>\n

basket (vova).
\nbasket (anton).<\/p>\n

crypt (kolya).
\ncrypt (anton).
\ncrypt (vova).<\/p>\n

game (football).<\/p>\n

play (X, Y):-
\nathl(X),
\nbasket(X),
\ngame(Y).<\/p>\n

play (X, Y):-
\ncrypt(X),
\ngame(Y).<\/p>\n

goal
\nplay(What, Whom).<\/p>\n

predicates
\nathl (symbol)
\nbasket (symbol)
\ncrypt (symbol)
\nplay (symbol)<\/p>\n

clauses<\/p>\n

athl (kolya).
\nathl (anton).<\/p>\n

basket (kolya).
\nbasket (anton).<\/p>\n

crypt (kolya).
\ncrypt (vova).<\/p>\n

play (X):-
\nathl(X), !,
\nbasket(X).<\/p>\n

play (X):-
\ncrypt(X).<\/p>\n

goal
\nplay(What).<\/p>\n

predicates
\nathl (symbol)
\nbasket (symbol)
\ncrypt (symbol)
\nplay (symbol)<\/p>\n

clauses<\/p>\n

athl (kolya).
\nathl (anton).<\/p>\n

basket (kolya).
\nbasket (anton).<\/p>\n

crypt (kolya).
\ncrypt (vova).<\/p>\n

play (X):-
\ncrypt(X).<\/p>\n

play (X):-
\nathl(X), !,
\nbasket(X).<\/p>\n

goal
\nplay(What).<\/p>\n","protected":false},"excerpt":{"rendered":"

predicates bogatyr(symbol) im(symbol,symbol,symbol,symbol) ap(symbol,symbol,symbol,symbol) ms(symbol,symbol,symbol,symbol) dn(symbol,symbol,symbol,symbol) v<\/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\/23962"}],"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=23962"}],"version-history":[{"count":3,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23962\/revisions"}],"predecessor-version":[{"id":23965,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23962\/revisions\/23965"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23962"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23962"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23962"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}