{"id":23935,"date":"2012-12-21T15:49:10","date_gmt":"2012-12-21T12:49:10","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=23935"},"modified":"2012-12-21T15:49:10","modified_gmt":"2012-12-21T12:49:10","slug":"%d1%81%d0%b8%d0%b8-%d0%b7%d0%b0%d0%b4%d0%b0%d1%87%d0%b8-%d0%bf%d0%be-%d1%81%d0%bf%d0%b8%d1%81%d0%ba%d0%b0%d0%bc","status":"publish","type":"post","link":"http:\/\/studentpmr.ru\/?p=23935","title":{"rendered":"\u0421\u0418\u0418 \u0437\u0430\u0434\u0430\u0447\u0438 \u043f\u043e \u0441\u043f\u0438\u0441\u043a\u0430\u043c"},"content":{"rendered":"

\u0447\u0435\u0442 \u0438 \u043d\u0435\u0447\u0435\u0442
\ndomains intlist=integer*.
\npredicates
\n\tnondeterm chet(intlist).
\n\tnondeterm nechet(intlist).
\nclauses
\nchet( [ ] ).
\nchet( [_] ):- write(«\u0421\u043f\u0438\u0441\u043e\u043a \u043d\u0435\u0447\u0435\u0442\u043d\u044b\u0439»).
\nchet( [X | T] ):- nechet(T).
\nnechet( [ _ ] ):- write(«\u0421\u043f\u0438\u0441\u043e\u043a \u0447\u0435\u0442\u043d\u044b\u0439»).
\nnechet( [X | T] ) :-
\n chet( T).
\ngoal\tchet([1,2,9]).
\n———————————————-
\n\u043e\u0431\u0440\u0430\u0449\u0435\u043d\u0438\u0435
\ndomains intlist=integer*
\npredicates
\nreverse(intlist,intlist).
\n conc(intlist, intlist, intlist).
\n clauses
\nconc( [X | L1], L2, [X | L3]):-
\n conc( L1, L2, L3).
\nconc([ ], L2, L2).
\nreverse([],[]).
\n reverse([X|T],L):- reverse(T, L1), conc(L1,[X], L).
\ngoal reverse([0,1,2,3,4,5,6,7,8,9], L).
\n————————————————-
\n\u0441\u0443\u043c\u043c\u0430 \u0441\u043f\u0438\u0441\u043a\u0430
\ndomains intlist=integer*.
\npredicates
\n sum(intlist, integer).
\nclauses
\n sum([],0).
\n sum([A|Xs],S) :-sum(Xs, S1), S=S1+A.
\ngoal
\n sum([1,2,3], X), write(«Summa = «,X), nl, fail.
\n—————————————————
\n\u0441\u0434\u0432\u0438\u0433\u0438
\ndomains intlist=integer*.
\npredicates
\n\tnondeterm f(intlist, intlist, integer,integer).
\n\tconc(intlist, intlist, intlist).
\nclauses
\n\tf(LL,L, K,K):-!.
\n\tf(LL, [X|H], K,Z) :- conc(H, [X], L1), write(L1), NewK= K+1, nl, f(LL, L1, NewK,Z).<\/p>\n

conc( [X | L1], L2, [X | L3]):-
\n conc( L1, L2, L3).
\nconc([ ], L2, L2).
\ngoal
\nwrite(«vvedite koli4estvo sdvigov «), nl, readint(Z),
\n\tf([1,2,3,4,5], [1,2,3,4,5], 0,Z).
\n——————————————————-
\n\u043f\u0430\u043b\u0438\u043d\u0434\u0440\u043e\u043c
\ndomains intlist=integer*
\npredicates
\nreverse(intlist,intlist).
\n conc(intlist, intlist, intlist).
\n palin(intlist).
\n clauses
\nreverse([],[]).
\nreverse([X|T],L):- reverse(T, L1), conc(L1,[X], L).
\npalin( L) :-
\n reverse( L, L), write(«\u0414\u0430\u043d\u043d\u043e\u0435 \u0447\u0438\u0441\u043b\u043e \u043f\u0430\u043b\u0438\u043d\u0434\u0440\u043e\u043c»), nl.
\n conc( [X | L1], L2, [X | L3]):-
\n conc( L1, L2, L3).
\nconc([ ], L2, L2).
\n\/\/\/% \u0412\u043e\u0442 \u0434\u0440\u0443\u0433\u043e\u0435 \u0440\u0435\u0448\u0435\u043d\u0438\u0435, \u043d\u0435 \u0438\u0441\u043f\u043e\u043b\u044c\u0437\u0443\u044e\u0449\u0435\u0435 \u043e\u0431\u0440\u0430\u0442\u0438\u0442\u044c
\n\/*palin( [ ] ).
\npalin([ _ ]).
\npalin ([X | T] ) :-
\n conc(T, [X], T),
\n palin(T).
\n *\/\/\/\/\/\/\/
\n goal
\n palin([3,4,5,6,5,4,3]).
\n———————————————————
\n\u0440\u0430\u0437\u0431\u0438\u0435\u043d\u0438\u0435
\ndomains intlist=integer*
\npredicates
\n razbienie(intlist, intlist, intlist).
\n clauses
\nrazbienie( [ ], [ ], [ ]). % \u0420\u0430\u0437\u0431\u0438\u0432\u0430\u0442\u044c \u043d\u0435\u0447\u0435\u0433\u043e
\nrazbienie( [X], [X], [ ]). % \u0420\u0430\u0437\u0431\u0438\u0435\u043d\u0438\u0435 \u043e\u0434\u043d\u043e\u044d\u043b\u0435\u043c\u0435\u043d\u0442\u043d\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430
\nrazbienie( [XX, Y | L], [\u0425X | L1],
\n [Y | L2]) :-
\n razbienie( L, L1, L2).
\ngoal
\n razbienie( [1, 2, 3, 4, 5], [1,3,5], L).
\n———————————————————
\n\u043f\u043e\u0434\u0441\u0447\u0435\u0442 \u0434\u043b\u0438\u043d\u044b \u0441\u043f\u0438\u0441\u043a\u0430 \u0431\u0435\u0437 \u043e\u043f\u0440\u0435\u0434\u0435\u043b\u0435\u043d\u043d\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430
\ndomains intlist=integer*
\n predicates
\ncompare(integer, integer, integer).
\ndl(intlist,integer, integer).
\n clauses
\ndl( [ ], E, 0).
\n dl( [ X | T],E, N) :-
\n dl( T, E, N1), cm(X,E, R1),
\n N=N1+1+R1.
\ncompare(Q, Y,R):- Q=Y, R=-1,!.
\ncompare(Q,Y,R):- R=0.
\ngoal dl( [1, 2, 3, 4, 5], 1,N).<\/p>\n

\u043f\u043e\u0441\u0447\u0438\u0442\u0430\u0442\u044c \u043a\u043e\u043b\u0438\u0447\u0435\u0441\u0442\u0432\u043e \u043e\u043f\u0440\u0435\u0434-\u0445 \u044d\u043b-\u043e\u0432 \u0432 \u0441\u043f\u0438\u0441\u043a\u0435
\ndomains
\n intlist=integer*
\npredicates
\ncompare(integer, integer, integer).
\ndl(intlist,integer, integer).
\n clauses
\ndl( [ ], E, 0).
\n dl( [ X | T],E, N) :-
\n dl( T, E, N1),
\n compare(X,E, R1),
\n N=N1+R1.
\ncompare(Q, Y,R):- Q=Y, R=1,!.
\ncompare(Q,Y,R):- R=0.
\ngoal
\n dl( [1, 2, 1, 1, 1], 1,N).
\n———————————————————<\/p>\n

\u041c\u0430\u043a\u0441 \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0432 \u0441\u043f\u0438\u0441\u043a\u0435
\ndomains
\n intlist=integer*
\n predicates
\nnondeterm max(integer, integer, integer).
\nnondeterm max_list(intlist, integer).
\n clauses
\n max(C,Y,C):- C>Y,!.
\n max(C,Y,Y).
\nmax_list([X],X). \/* M_T \u2014 max \u044d\u043b\u0435\u043c\u0435\u043d\u0442 \u0445\u0432\u043e\u0441\u0442\u0430 *\/
\n max(H,M_T,M). \/* M \u2014 max \u0438\u0437 M_T \u0438 \u043f\u0435\u0440\u0432\u043e\u0433\u043e \u044d\u043b\u0435\u043c\u0435\u043d\u0442\u0430
\n \u0438\u0441\u0445\u043e\u0434\u043d\u043e\u0433\u043e \u0441\u043f\u0438\u0441\u043a\u0430 *\/
\nmax_list([H|T],M):- max_list(T,MT), max(H,MT,M), write(M), nl.
\ngoal
\n max_list( [4,1, 2, 9, 6, 3], D).
\n————————————————————<\/p>\n","protected":false},"excerpt":{"rendered":"

\u0447\u0435\u0442 \u0438 \u043d\u0435\u0447\u0435\u0442 domains intlist=integer*. predicates nondeterm chet(intlist). nondeterm nechet(intlist). clauses chet( [ ] ). chet( [_] ):- write(«\u0421\u043f\u0438\u0441\u043e\u043a \u043d\u0435\u0447\u0435\u0442\u043d\u044b\u0439»). chet( [X | T] ):- nechet(T). nechet( [ _ ] ):- write(«\u0421\u043f\u0438\u0441\u043e\u043a \u0447\u0435\u0442\u043d\u044b\u0439»). nechet( [X | T] ) :- chet( T). goal chet([1,2,9]).<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[42],"tags":[],"_links":{"self":[{"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23935"}],"collection":[{"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=23935"}],"version-history":[{"count":1,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23935\/revisions"}],"predecessor-version":[{"id":23936,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23935\/revisions\/23936"}],"wp:attachment":[{"href":"http:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23935"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23935"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23935"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}