{"id":5,"date":"2005-11-06T00:02:53","date_gmt":"2005-11-05T22:02:53","guid":{"rendered":"http:\/\/firefang.net\/blog\/?p=5"},"modified":"2005-11-06T00:05:29","modified_gmt":"2005-11-05T22:05:29","slug":"%d7%a4%d7%a8%d7%95%d7%9c%d7%95%d7%92-%d7%95%d7%a6%d7%91%d7%99%d7%9d-%d7%90%d7%97%d7%a8%d7%99%d7%9d","status":"publish","type":"post","link":"https:\/\/firefang.net\/blog\/5","title":{"rendered":"\u05e4\u05e8\u05d5\u05dc\u05d5\u05d2 \u05d5\u05e6\u05d1\u05d9\u05dd \u05d0\u05d7\u05e8\u05d9\u05dd."},"content":{"rendered":"

\u05d0\u05e0\u05d9 \u05ea\u05dc\u05de\u05d9\u05d3 \u05e0\u05e6\u05d7\u05d9 \u05e9\u05dc \u05d4\u05d0\u05d5\u05e0\u05d9\u05d1\u05e8\u05e1\u05d9\u05d8\u05d4 \u05d4\u05e4\u05ea\u05d5\u05d7\u05d4, \u05d0\u05e0\u05d9 \u05dc\u05d5\u05de\u05d3 \u05e9\u05dd \u05de\u05ea\u05d7\u05d9\u05dc\u05ea \u05e9\u05e0\u05ea 2000, \u05dc\u05e4\u05e2\u05de\u05d9\u05dd \u05d9\u05d5\u05ea\u05e8, \u05dc\u05e4\u05e2\u05de\u05d9\u05dd \u05e4\u05d7\u05d5\u05ea.
\n\u05dc\u05e4\u05e0\u05d9 \u05e9\u05e0\u05d9 \u05e1\u05d9\u05de\u05e1\u05d8\u05e8\u05d9\u05dd \u05e2\u05d1\u05e8\u05ea\u05d9 \u05d0\u05ea \u05e7\u05d5\u05e8\u05e1 \u05d4\u05d7\u05d5\u05d1\u05d4 \u05d4\u05d0\u05d7\u05e8\u05d5\u05df \u05d1\u05de\u05ea\u05de\u05d8\u05d9\u05e7\u05d4, \u05d5\u05de\u05d0\u05d6 \u05d4\u05ea\u05d7\u05dc\u05ea\u05d9 \u05dc\u05e9\u05d9\u05dd \u05d2\u05d6 \u05e2\u05dd \u05e7\u05d5\u05e8\u05e1\u05d9\u05dd \u05e9\u05dc \u05de\u05d3\u05e2\u05d9 \u05d4\u05de\u05d7\u05e9\u05d1.
\n\u05d1\u05e1\u05d9\u05de\u05e1\u05d8\u05e8 \u05e7\u05d9\u05e5 \u05dc\u05e7\u05d7\u05ea\u05d9 \u05d1\u05e1\u05d9\u05e1\u05d9 \u05e0\u05ea\u05d5\u05e0\u05d9\u05dd, \u05e9\u05d4\u05d9\u05d4 \u05de\u05e9\u05e2\u05de\u05dd \u05dc\u05de\u05d3\u05d9, \u05d5\u05d0\u05dc\u05d2\u05d5\u05e8\u05d9\u05ea\u05de\u05d9\u05e7\u05d4 – \u05e9\u05d4\u05d9\u05d4 \u05d0\u05d7\u05dc\u05d4 \u05e7\u05d5\u05e8\u05e1.
\n\u05d1\u05e1\u05d9\u05de\u05e1\u05d8\u05e8 \u05e9\u05e0\u05e4\u05ea\u05d7 \u05d4\u05e9\u05d1\u05d5\u05e2 \u05d0\u05e0\u05d9 \u05dc\u05d5\u05e7\u05d7 \u05d0\u05ea \u05d0\u05ea \u05d0\u05dc\u05d2\u05d5\u05e8\u05d9\u05ea\u05de\u05d9\u05dd, \u05d5\u05d0\u05ea \u05e4\u05e8\u05d5\u05dc\u05d5\u05d2 – \u05d4\u05d9\u05d1\u05d8\u05d9\u05dd \u05dc\u05d1\u05d9\u05e0\u05d4 \u05de\u05dc\u05d0\u05db\u05d5\u05ea\u05d9\u05ea.
\n\u05d1\u05d9\u05e0\u05ea\u05d9\u05d9\u05dd \u05d4\u05d9\u05d4 \u05dc\u05d9 \u05de\u05e4\u05d2\u05e9 \u05d0\u05d7\u05d3 \u05e9\u05dc \u05e4\u05e8\u05d5\u05dc\u05d5\u05d2, \u05d5\u05de\u05d7\u05e8 \u05d9\u05d4\u05d9\u05d4 \u05dc\u05d9 \u05d4\u05de\u05e4\u05d2\u05e9 \u05d4\u05e8\u05d0\u05e9\u05d5\u05df \u05e9\u05dc \u05d0\u05dc\u05d2\u05d5\u05e8\u05d9\u05ea\u05de\u05d9\u05dd.
\n\u05e4\u05e8\u05d5\u05dc\u05d5\u05d2 \u05d6\u05d5 \u05e9\u05e4\u05d4 \u05de\u05e2\u05e0\u05d9\u05d9\u05e0\u05ea, \u05ea\u05db\u05e0\u05d5\u05ea \u05d1\u05dc\u05d5\u05d2\u05d9\u05e7\u05d4.
\n\u05d9\u05e9 \u05e2\u05d5\u05d1\u05d3\u05d5\u05ea, \u05d9\u05e9 \u05d7\u05d5\u05e7\u05d9\u05dd, \u05d9\u05e9 \u05d0\u05d8\u05d5\u05de\u05d9\u05dd \u05d5\u05d9\u05e9 \u05de\u05e9\u05ea\u05e0\u05d9\u05dd.
\n\u05e2\u05d5\u05d1\u05d3\u05d5\u05ea \u05e0\u05d9\u05e8\u05d0\u05d5\u05ea \u05db\u05db\u05d4:<\/p>\n

\n
\nparent(popo, koko).
\nparent(mima, koko).
\nparent(baba,mima).
\nparent(bebe,mima).
\nfemale(bebe).
\nfemale(mima).
\nmale(koko).
\nmale(popo).
\nmale(baba).
\n<\/code>\n<\/div>\n

\u05d0\u05d7\u05e8\u05d9 \u05e9\u05d4\u05dd \u05d4\u05d5\u05d2\u05d3\u05e8\u05d5, \u05d0\u05e4\u05e9\u05e8 \u05dc\u05e9\u05d0\u05d5\u05dc \u05d3\u05d1\u05e8\u05d9\u05dd \u05db\u05de\u05d5:<\/p>\n

\n
\n?- female(koko)
\nno<\/p>\n

?- male(koko).
\nyes<\/p>\n

parent(X,koko).
\nX = popo ? ;
\nX = mima ?
\nyes
\n<\/code>\n<\/div>\n

\u05d7\u05d5\u05e7\u05d9\u05dd \u05e0\u05e8\u05d0\u05d9\u05dd \u05db\u05db\u05d4:<\/p>\n

\n
\nmother(Mother,Child) :-
\n female(Mother),
\n parent(Mother,Child).<\/p>\n

father(Father,Child) :-
\n male(Father),
\n parent(Father,Child).<\/p>\n

grandfather(Grandfather,Child) :-
\n make(Grandfather),
\n parent(Grandfather,X),
\n parent(X,Child).
\n<\/code>\n<\/div>\n

\u05d1\u05e2\u05e6\u05dd \u05de\u05d4 \u05e9\u05db\u05ea\u05d5\u05d1 \u05d1\u05d7\u05d5\u05e7 \u05d4\u05e8\u05d0\u05e9\u05d5\u05df \u05d4\u05d5\u05d0 \u05e9\u05d0\u05de\u05d0 \u05d4\u05d9\u05d0 \u05d0\u05de\u05d0 \u05d0\u05dd \u05d4\u05d9\u05d0 \u05e0\u05e7\u05d1\u05d4 \u05d5\u05d0\u05dd \u05d4\u05d9\u05d0 \u05d4\u05d4\u05d5\u05e8\u05d4 \u05e9\u05dc \u05d4\u05d9\u05dc\u05d3, \u05e0\u05e9\u05de\u05e2 \u05d4\u05d2\u05d9\u05d5\u05e0\u05d9, \u05dc\u05d0?
\n\u05d7\u05dc\u05e7\u05d9\u05dd \u05e9\u05de\u05d5\u05e4\u05e8\u05d3\u05d9\u05dd \u05d1\u05e4\u05e1\u05d9\u05e7 \u05e6\u05e8\u05d9\u05db\u05d9\u05dd \u05e9\u05e0\u05d9\u05d4\u05dd \u05dc\u05d4\u05ea\u05e7\u05d9\u05d9\u05dd. (\u05e4\u05e1\u05d9\u05e7 = \u05d5\u05d2\u05dd).
\n\u05de\u05d9\u05dc\u05d9\u05dd \u05e9\u05de\u05ea\u05d7\u05d9\u05dc\u05d9\u05dd \u05d1\u05d0\u05d5\u05ea \u05d2\u05d3\u05d5\u05dc\u05d4 \u05d4\u05dd \u05de\u05e9\u05ea\u05e0\u05d9\u05dd.<\/p>\n

\u05d0\u05d7\u05e8\u05d9 \u05e9\u05d4\u05d7\u05d5\u05e7\u05d9\u05dd \u05d4\u05d0\u05dc\u05d5 \u05d4\u05d5\u05d2\u05d3\u05e8\u05d5 \u05d0\u05e4\u05e9\u05e8 \u05dc\u05e9\u05d0\u05d5\u05dc \u05d3\u05d1\u05e8\u05d9\u05dd \u05db\u05de\u05d5:<\/p>\n

\n
\n?- father(X,koko).
\nX = popo<\/p>\n

?- mother(mima,X).
\nX = koko
\n<\/code>\n<\/div>\n

\u05e8\u05d9\u05e7\u05d5\u05e8\u05e1\u05d9\u05d4 \u05de\u05e9\u05de\u05e9\u05ea \u05ea\u05e4\u05e7\u05d9\u05d3 \u05de\u05d0\u05d5\u05d3 \u05de\u05e8\u05db\u05d6\u05d9 \u05d1\u05e4\u05e8\u05d5\u05dc\u05d5\u05d2.
\n\u05d4\u05e0\u05d4 \u05d4\u05d2\u05d3\u05e8\u05d4 \u05e9\u05dc \u05d0\u05d1 \u05e7\u05d3\u05de\u05d5\u05df:<\/p>\n

\n
\npredecessor(X,Y) :-
\n parent(X,Y).<\/p>\n

predecessor(X,Y) :-
\n parent(Z,Y),
\n predecessor(X,Z).
\n<\/code>\n<\/div>\n

\u05d4\u05e7\u05d5\u05e8\u05d0 \u05d4\u05de\u05e9\u05e7\u05d9\u05e2 \u05d9\u05e0\u05e1\u05d4 \u05dc\u05d4\u05d1\u05d9\u05df \u05de\u05d4 \u05e7\u05d5\u05e8\u05d4 \u05e4\u05d4.
\n\u05d4\u05e0\u05d4 \u05d3\u05d5\u05d2\u05de\u05d0\u05d5\u05ea \u05dc\u05e9\u05d0\u05dc\u05d5\u05ea \u05db\u05d0\u05dc\u05d5:<\/p>\n

\n<\/p>\n

?- predecessor(baba,koko).
\ntrue <\/p>\n

?- predecessor(baba,X).
\nX = mima
\nX = koko <\/p>\n

<\/code>\n<\/div>\n

\u05d1\u05e7\u05d9\u05e6\u05d5\u05e8, \u05e4\u05e8\u05d5\u05dc\u05d5\u05d2 \u05d6\u05d5 \u05e9\u05e4\u05d4 \u05dc\u05d5\u05d2\u05d9\u05ea, \u05e2\u05ea\u05d9\u05e7\u05ea \u05d9\u05d5\u05de\u05d9\u05df (1972), \u05de\u05de\u05e9 \u05d7\u05d5\u05db\u05de\u05ea \u05e7\u05d3\u05de\u05d5\u05e0\u05d9\u05dd.
\n\u05dc\u05d3\u05e2\u05ea\u05d9 \u05d4\u05e7\u05d5\u05e8\u05e1 \u05d4\u05d6\u05d4 \u05d9\u05d4\u05d9\u05d4 \u05de\u05e2\u05e0\u05d9\u05d9\u05df, \u05d0\u05e0\u05d9 \u05d0\u05e2\u05d3\u05db\u05df \u05d1\u05d4\u05de\u05e9\u05da.<\/p>\n","protected":false},"excerpt":{"rendered":"

\u05d0\u05e0\u05d9 \u05ea\u05dc\u05de\u05d9\u05d3 \u05e0\u05e6\u05d7\u05d9 \u05e9\u05dc \u05d4\u05d0\u05d5\u05e0\u05d9\u05d1\u05e8\u05e1\u05d9\u05d8\u05d4 \u05d4\u05e4\u05ea\u05d5\u05d7\u05d4, \u05d0\u05e0\u05d9 \u05dc\u05d5\u05de\u05d3 \u05e9\u05dd \u05de\u05ea\u05d7\u05d9\u05dc\u05ea \u05e9\u05e0\u05ea 2000, \u05dc\u05e4\u05e2\u05de\u05d9\u05dd \u05d9\u05d5\u05ea\u05e8, \u05dc\u05e4\u05e2\u05de\u05d9\u05dd \u05e4\u05d7\u05d5\u05ea. \u05dc\u05e4\u05e0\u05d9 \u05e9\u05e0\u05d9 \u05e1\u05d9\u05de\u05e1\u05d8\u05e8\u05d9\u05dd \u05e2\u05d1\u05e8\u05ea\u05d9 \u05d0\u05ea \u05e7\u05d5\u05e8\u05e1 \u05d4\u05d7\u05d5\u05d1\u05d4 \u05d4\u05d0\u05d7\u05e8\u05d5\u05df \u05d1\u05de\u05ea\u05de\u05d8\u05d9\u05e7\u05d4, \u05d5\u05de\u05d0\u05d6 \u05d4\u05ea\u05d7\u05dc\u05ea\u05d9 \u05dc\u05e9\u05d9\u05dd \u05d2\u05d6 \u05e2\u05dd \u05e7\u05d5\u05e8\u05e1\u05d9\u05dd \u05e9\u05dc \u05de\u05d3\u05e2\u05d9 \u05d4\u05de\u05d7\u05e9\u05d1. \u05d1\u05e1\u05d9\u05de\u05e1\u05d8\u05e8 \u05e7\u05d9\u05e5 \u05dc\u05e7\u05d7\u05ea\u05d9 \u05d1\u05e1\u05d9\u05e1\u05d9 \u05e0\u05ea\u05d5\u05e0\u05d9\u05dd, \u05e9\u05d4\u05d9\u05d4 \u05de\u05e9\u05e2\u05de\u05dd \u05dc\u05de\u05d3\u05d9, \u05d5\u05d0\u05dc\u05d2\u05d5\u05e8\u05d9\u05ea\u05de\u05d9\u05e7\u05d4 – \u05e9\u05d4\u05d9\u05d4 \u05d0\u05d7\u05dc\u05d4 \u05e7\u05d5\u05e8\u05e1. \u05d1\u05e1\u05d9\u05de\u05e1\u05d8\u05e8 \u05e9\u05e0\u05e4\u05ea\u05d7 \u05d4\u05e9\u05d1\u05d5\u05e2 \u05d0\u05e0\u05d9 \u05dc\u05d5\u05e7\u05d7 \u05d0\u05ea \u05d0\u05ea \u05d0\u05dc\u05d2\u05d5\u05e8\u05d9\u05ea\u05de\u05d9\u05dd, … <\/p>\n

\u05dc\u05d4\u05de\u05e9\u05d9\u05da \u05dc\u05e7\u05e8\u05d5\u05d0 \u05e4\u05e8\u05d5\u05dc\u05d5\u05d2 \u05d5\u05e6\u05d1\u05d9\u05dd \u05d0\u05d7\u05e8\u05d9\u05dd.<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1,8,7],"tags":[],"class_list":["post-5","post","type-post","status-publish","format-standard","hentry","category-general","category-studies","category-programming"],"_links":{"self":[{"href":"https:\/\/firefang.net\/blog\/wp-json\/wp\/v2\/posts\/5","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/firefang.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/firefang.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/firefang.net\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/firefang.net\/blog\/wp-json\/wp\/v2\/comments?post=5"}],"version-history":[{"count":0,"href":"https:\/\/firefang.net\/blog\/wp-json\/wp\/v2\/posts\/5\/revisions"}],"wp:attachment":[{"href":"https:\/\/firefang.net\/blog\/wp-json\/wp\/v2\/media?parent=5"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/firefang.net\/blog\/wp-json\/wp\/v2\/categories?post=5"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/firefang.net\/blog\/wp-json\/wp\/v2\/tags?post=5"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}