Results 1 to 3 of 3

Hybrid View

Previous Post Previous Post   Next Post Next Post
  1. #1
    Registered 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, à ïðîãðàìèñòúò å Íåâåíà. Ïîíåæå Èâàíêà íå ðàçáèðà îò ìàòåìàòèêà, îñòàíàëèÿò „ñâîáîäåí” òàëàíò å ñâèðåíå íà ïèàíî, à ìàòåìàòèêàòà å çà Ñòàíêî.
    Áëàãîäàðÿ Âè!

  2. #2
    åíòóñèàçèðàí õàðäóåð System.gc()'s Avatar
    Join Date: Apr:2007
    Location: back in time
    Posts: 1,075
    Åòî åäíî âúçìîæíî ðåøåíèå.
    UD3R|Q9550+1283|4x2 G.Skill@1066|MX500+1002FAEX+640AAKS+ST31 60|RX580-8GB|1841BLT|SS-760XP|Define7|z24i|Edifier S350DB
    geniusloci: ÀÌÄ ñå êóïóâà à) àêî ñè áåäåí; á) àêî ñà òå èçëúãàëè; â) àêî ñè áîëåí ôåí? nope|r.i.p.

  3. #3
    Registered User
    Join Date: Mar:2009
    Location: Bulgaria
    Posts: 32
    Êà÷âàì êàêâîòî ñúì íàïðàâèë, êàòî îáà÷å íå ìîãà äà ñâúðæà ÷àñòèòå.

    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.
    êàòî char-îâåòå íà den ñà ñúîòâåòíî òîâà, êîåòî ïðàâÿò ëúâúò è åäíîðîãúò (íàïðèìåð â ïîíåäåëíèê ëúâúò ëúæå('L'), à åäíîðîãúò êàçâà èñòèíàòà('I'). Íà ïðåäèêàòè luv è ednorog ïúðâèÿò ÷àð å òåêóùèÿò äåí à âòîðèÿò - ïðåäíèÿ.
    Àêî èçïîëçâàì ñàìî 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

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  

Copyright © 1999-2011 Õàðäóåð ÁÃ. Âúçìîæíî å ñúäúðæàíèåòî íà òàçè ñòðàíèöà äà å îáåêò íà àâòîðñêè ïðàâà.
iskamPC.com | mobility.BG | Bloody's Techblog | Êðèïòîâàëóòè è ìàéíèíã | 3D Vision Blog | Ìàãàçèí çà åëåêòðîííè öèãàðè