{"id":23978,"date":"2012-12-24T16:36:59","date_gmt":"2012-12-24T13:36:59","guid":{"rendered":"http:\/\/studentpmr.ru\/?p=23978"},"modified":"2012-12-24T16:36:59","modified_gmt":"2012-12-24T13:36:59","slug":"%d0%bf%d1%80%d0%be%d0%b3%d1%80%d0%b0%d0%bc%d0%bc%d1%8b-%d0%bd%d0%b0-%d0%bf%d1%80%d0%be%d0%bb%d0%be%d0%b3%d0%b5","status":"publish","type":"post","link":"https:\/\/studentpmr.ru\/?p=23978","title":{"rendered":"\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u044b \u043d\u0430 \u043f\u0440\u043e\u043b\u043e\u0433\u0435."},"content":{"rendered":"

\/*\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab2_1.pro *\/
\ndomains
\nargument =real
\nresult =real
\npredicates
\nfunc(argument, result)
\nclauses
\n func(X,0):- X<3,!.\nfunc(X,2):- X>=3,X<6,!.\n func(X,4) .\ngoal\nX=-2,\nfunc(X, Y).\n\n<\/p>\n

\/*\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab2_2.pro*\/
\ndomains
\nargument =real
\nresult =real
\npredicates
\nfunc(argument, result)
\nclauses
\nfunc(X,0):- X<3,!.\nfunc(X,2):- X<6,!.\nfunc(X,4).\ngoal\nX=-2,\n func(X, Y).\n\n\n\n\/*****************************************************************************\n\n\t\tCopyright (c) My Company\n\n Project: 2PRIMERI\n FileName: 2PRIMERI.PRO\n Purpose: No description\n Written by: Visual Prolog\n Comments:\n******************************************************************************\/\n\ninclude \"2primeri.inc\"\n\npredicates\n\n 2primeri()\n\nclauses\n\n 2primeri():-!.\n\ngoal\n\n 2primeri().\n\n\n\/*\u041f\u0440\u0438\u043c\u0435\u0440 2: \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab2_3.pro\t*\/\npredicates\nage (symbol,integer) % \u0432\u043e\u0437\u0440\u0430\u0441\u0442 \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 \u0432 \u043f\u0440\u0438\u0437\u044b\u0432\u043d\u0438\u043a\u0438\nman (symbol)\t\t % \u043f\u043e\u043b \u043a\u0430\u043d\u0434\u0438\u0434\u0430\u0442\u0430 \u0432 \u043f\u0440\u0438\u0437\u044b\u0432\u043d\u0438\u043a\u0438 \narmy(symbol)\t\t % \u043f\u0440\u0438\u0437\u044b\u0432\u043d\u0438\u043a \nclauses\nage(petr,18).\nage(dima,17).\nage(nik,18).\n\nman(petr).\nman(dima).\nman(nik).\n\narmy(X):- man(X), age (X,Y), Y>=18.
\ngoal
\narmy(X).<\/p>\n

\/*\u041f\u0440\u0438\u043c\u0435\u0440 3: \u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab2_4.pro*\/\t<\/p>\n

DOMAINS<\/p>\n

name, addr = string<\/p>\n

PREDICATES
\nperson(name,addr)
\nprint_all()<\/p>\n

CLAUSES
\nperson(tom,city1).
\nperson(jim,city2).
\nperson(ann,city3).
\nperson(lize,city1).
\nperson(tata,city4).
\nperson(kat,city5).<\/p>\n

print_all():-person(Name,Addr),\twrite(«\\nName=»,Name,», Address=»,Addr),
\nfail.
\ngoal
\n\tprint_all.\t<\/p>\n

predicates
\nnecv(symbol,symbol)
\ncv(symbol,symbol)
\nyes(symbol,symbol,symbol)
\nname(symbol)<\/p>\n

clauses
\nname(roza).
\nname(margarita).
\nname(anyuta).
\nnecv(X,Y):-name(X),name(Y),X=»roza»,Y=»margarita».
\ncv(X,Y):-name(X),name(Y),X<>Y,not(necv(X,Y)).
\nyes(X,Y,Z):- cv(X,Y),cv(Y,Z),cv(Z,X),!.<\/p>\n

goal
\nyes(X,Y,Z),
\nwrite(X,» — «,Y,»\\n»,Y,» — «,Z,»\\n»,Z,» — «,X,»\\n\\n\\n»).<\/p>\n

predicates
\nfunc(real,real).<\/p>\n

clauses<\/p>\n

func(X,Y) :- X<-2,!,Y=X*X.\nfunc(X,Y) :- X<5,!,Y=X+1.\nfunc(X,Y) :- Y=X*X.\n\ngoal\nfunc(4,Rez),\nwrite(\"F(4)=\",Rez).\n\n\n\n\n<\/p>\n","protected":false},"excerpt":{"rendered":"

\/*\u041f\u0440\u043e\u0433\u0440\u0430\u043c\u043c\u0430 Lab2_1.pro *\/ domains argument =real result =real predicates func(argument, result) clauses func(X,0):- X<3,!. func(X,2):- X>=3,X<6,!. func(X,4) . goal X=-2, func(X, Y).<\/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\/23978"}],"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=23978"}],"version-history":[{"count":1,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23978\/revisions"}],"predecessor-version":[{"id":23979,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=\/wp\/v2\/posts\/23978\/revisions\/23979"}],"wp:attachment":[{"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=23978"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=23978"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/studentpmr.ru\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=23978"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}