Results 1 to 3 of 3
Thread: Äâå çàäà÷è íà Prolog
Hybrid View
-
18th December 2011 12:48 #1Registered User
Join Date: Mar:2009
Location: Bulgaria
Posts: 32
Äâå çàäà÷è íà Prolog
Çäðàâåéòå, èìàì ñïåøíà íóæäà îò ïîìîù çà äâå çàäà÷è, êîèòî òðÿáâà äà ñå íàïèøàò íà Ïðîëîã. Åòî óñëîâèÿòà è ëîãè÷åñêèòå ðåøåíèÿ.
Ëúâúò ëúæå â ïîíåäåëíèê, âòîðíèê è ñðÿäà, à â îñòàíàëèòå äíè îò ñåäìèöàòà êàçâà èñòèíàòà. Åäíîðîãúò ëúæå â ÷åòâúðòúê, ïåòúê è ñúáîòà, à êàçâà èñòèíàòà ïðåç äðóãèòå äíè îò ñåäìèöàòà.
1. Ëúâúò êàçàë: „Â÷åðà ëúãàõ”.
2. Åäíîðîãúò: „Àç ñúùî ëúãàõ â÷åðà”.
Êîé äåí å áèëî?
Îò êàçàíîòî ñòàâà ÿñíî, ÷å åäèíèÿò îò òÿõ êàçâà èñòèíàòà, à äðóãèÿ ëúæå, êîåòî àâòîìàòè÷íî èçêëþ÷âà íåäåëÿ, ïîíåæå è äâàìàòà êàçâàò èñòèíàòà òîãàâà. Àêî å „âòîðèÿò èëè òðåòèÿò äåí” â êîéòî ëúæàò ñúîòâåòíèòå æèâîòíè, òîâà îçíà÷àâà, ÷å ïðåäõîäíèÿ ñúùî ñà ëúãàëè, òîãàâà ñ òâúðäåíèÿòà èì „â÷åðà ëúãàõ”, êàçâàò èñòèíàòà, êîåòî íÿìà êàê äà ñå ñëó÷è, ïîíåæå ñà â „äåí íà ëúæàòà”. Ñëåäîâàòåëíî íÿìà êàê äåíÿò äà å âòîðíèê, ñðÿä, ïåòúê èëè ñúáîòà. Àêî å ïîíåäåëíèê (äåí, â êîéòî ëúæå ëúâúò), òî åäíîðîãúò êàçâà èñòèíàòà, ÷å å ëúãúë â÷åðà, êîåòî å â ïðîòèâîðå÷èå ñ óñëîâèåòî (òîé ëúæå â ÷åòâúðòúê, ïåòúê è ñúáîòà). Ïî ìåòîäà íà èçêëþ÷âàíåòî îñòàâà åäèíñòâåíî ÷åòâúðòúê, êîåòî å è ðåøåíèåòî.Áëàãîäàðÿ Âè! ñåìåéñòâî èìà 5 áðàòÿ è ñåñòðè, ñúîòâåòíî íà 4, 5, 6, 7 è 8 ãîäèíè, êîèòî èìàò ðàçëè÷íè òàëàíòè. Åäíî îò òÿõ ñå êàçâà Íåâåíà, à äðóãî ñâèðè íà ïèàíî.
1. Èâàíêà å íà 4 ãîäèíè è íå ðàçáèðà îò ìàòåìàòèêà.
2. Äåòåòî, êîåòî å ïðîãðàìèñò å ñ åäíà ãîäèíà ïî-ãîëÿìî îò Èâàí
3. Äåòåòî, êîåòî ñâèðè íà êèòàðà å íà 7 ãîäèíè.
4. Éîàíà íå å íà 8 ãîäèíè.
5. Ñòàíêî å íà 5 ãîäèíè è å ïî-ìàëúê îò òîçè, êîéòî ðàçáèðà îò ëèòåðàòóðà.
Êîé íà êîëêî ãîäèíè å è â êàêâà íàñîêà å òàëàíòúò ìó?
Åòî è "òàáëè÷íî" ðåøåíèå:
Èìå......Èâàíêà....Ñòàíêî.......Éîàíà... ...Èâàí.......Íåâåíà
Ãîäèíè........4......... 5.............6..............7.......... ..8
Òàëàíò ïèàíî|Ìàòåìàòèêà|Ëèòåðàòóðà|êèòàðà|Ïðîãð àìèñò
Îò ‘2’ ñëåäâà, ÷å ïðîãðàìèñòà å íà 7 èëè 8 ãîäèíêè, à Èâàí å íà 6 èëè 7 ãîäèíè, íî îò ‘3’ ðàçáèðàìå, ÷å ïðîãðàìèñòúò íå ìîæå äà å íà 7, çàòîâà òîé å 8-ãîäèøíîòî äåòå, à îò òàì, ÷å Èâàí å íà 7. Îò ‘5’ ïîëó÷àâàìå, ÷å äåòåòî, ðàçáèðàùî îò ëèòåðàòóðà å íà 6 ãîäèíè, ïîíåæå å ïî-ãîëÿìî îò Ñòàíêî, êîéòî å íà 5 ãîäèíè. Ïîíåæå Éîàíà íå å íà 8 ãîäèíè, çà íåÿ ïîëó÷àâàìå, ÷å å íà 6, à ïðîãðàìèñòúò å Íåâåíà. Ïîíåæå Èâàíêà íå ðàçáèðà îò ìàòåìàòèêà, îñòàíàëèÿò „ñâîáîäåí” òàëàíò å ñâèðåíå íà ïèàíî, à ìàòåìàòèêàòà å çà Ñòàíêî.
-
18th December 2011 12:53 #2
-
18th December 2011 17:27 #3Registered User
Join Date: Mar:2009
Location: Bulgaria
Posts: 32
Êà÷âàì êàêâîòî ñúì íàïðàâèë, êàòî îáà÷å íå ìîãà äà ñâúðæà ÷àñòèòå.
êàòî char-îâåòå íà den ñà ñúîòâåòíî òîâà, êîåòî ïðàâÿò ëúâúò è åäíîðîãúò (íàïðèìåð â ïîíåäåëíèê ëúâúò ëúæå('L'), à åäíîðîãúò êàçâà èñòèíàòà('I'). Íà ïðåäèêàòè luv è ednorog ïúðâèÿò ÷àð å òåêóùèÿò äåí à âòîðèÿò - ïðåäíèÿ.Code:Predicates nondeterm den(string,char,char,integer) nondeterm luv(char,char) nondeterm ednorog(char,char) nondeterm luvistina nondeterm luvluje Clauses den ("Nedelq",'I','I',0). den ("Ponedelnik",'L','I',1). den ("Vtornik",'L','I',2). den ("Srqda",'L','I',3). den ("Chetvartak",'I','L',4). den ("Petak",'I','L',5). den ("Sabota",'I','L',6). luvluje:-ednorog('I','L'). ednorog('I','L'):-den(X,'L','I',A),B=A-1,den(Y,'I',_,B),write(X),nl. luvistina:-luv('I',_). luv('I','L'):- den(X,'I',_,K),T=K-1,den(Y,'L',_,T), write(X),nl. Goal luvluje.
Àêî èçïîëçâàì ñàìî luvistina ïðîãðàìàòà ðàáîòè, íî êàòî ñå îïèòàì äà ÿ ñòàðòèðàì îò luvluje íåùî íå ðàáîòè êîðåêòíî, çàùîòî èçïèñâà Ïîíåäåëíèê, êîåòî íå å âÿðíî. Òðÿáâà íÿêàê äà ñå îïðàâè ïîä÷åðòàíèÿ ðåä. Ìíîãî Âè ìîëÿ çà ïîìîù.
--------- Äîáàâåíî â 17:27 --------- Ïðåäèøíî ìíåíèå: â 15:58 ---------
Çà âòîðàòà çàäà÷à èçïîëçâàõ Çàäà÷à íà Àéíùàéí (http://www.aswinvanwoudenberg.com/in...steins-riddle/) , íî ïàê ñå çàòðóäíÿâàì.
Code:Predicates nondeterm dete(string,string,integer) nondeterm godini(integer) nondeterm ime(string) nondeterm talant(string) nondeterm it(string,string) nondeterm ig(string,integer) nondeterm tg(string,integer) Clauses godini(4). godini(5). godini(6). godini(7). godini(8). ime(ivanka). ime(stanko). ime(yoana). ime(ivan). ime(nevena). talant(piano). talant(matematika). talant(literatura). talant(kitara). talant(programist). dete(Ime,Talant,Godini):-ime(Ime),talant(Talant),godini(Godini). it(Ime,Talant):-ime(Ime),talant(Talant). ig(Ime,Godini):-ime(Ime),godini(Godini). tg(Talant,Godini):-talant(Talant),godini(Godini). Goal




Reply With Quote
nope|
Lenovo ThinkPad 15 èëè IdeaPad 15
5th May 2023, 22:16 in Ìîáèëíè êîìïþòðè