Prologue - limba și sistemul de programare logică, bazată pe limbajul logicii matematice predicat Horn clauza, care este un subset al predicate logice de prim ordin.
Principalele concepte din limbajul Prolog sunt fapte, reguli de inferență și întrebări care vă permit să descrieți bazele cunoașterii, procedurile de deducere și luarea deciziilor.
Faptele din limba Prolog sunt descrise de predicate logice cu semnificații concrete. Regulile din Prolog sunt scrise sub formă de reguli de inferență cu concluzii logice și o listă de condiții logice.
Un rol special în interpretul Prolog îl joacă întrebări specifice bazelor de cunoștințe, la care sistemul de programare logică generează răspunsuri adevărate și false. Pentru interogările generalizate cu variabile ca argumente, sistemul Prolog a creat date specifice pentru a susține adevărul informațiilor generalizate și regulile de ieșire.
Faptele din bazele de cunoștințe din limba Prolog reprezintă informații specifice (cunoștințe). Informațiile și cunoștințele generalizate în limba Prolog sunt specificate de regulile inferenței logice (definiții) și seturile acestor reguli de ieșire (definiții) asupra faptelor concrete și a informațiilor generalizate.
Începutul istoriei limbii datează din anii 1970. Ca un limbaj de programare declarativ, program Prolog are ca descriere a problemei sau de baze de cunoștințe, și el face o concluzie logică, precum și de căutare pentru rezolvarea problemelor, folosind un motor de căutare pentru a reveni și de unificare.
Prolog este cel mai popular limbaj de programare logică cu o lungă istorie de dezvoltare, o comunitate uriașă și o cantitate suficientă de literatură de calitate, spre deosebire de limba Lisp. Decizia privind prologul problemelor care necesită concluzii logice este cea mai concisă, în comparație cu oricare dintre limbile structurate. Decât decizia este mai scurtă și mai ușor de înțeles, cu atât este mai ușor să înțelegi nuanțele ei, lucru important atunci când lucrezi cu programatorii dintr-o echipă.
Unele puzzle-uri sunt cunoscute din cele mai vechi timpuri. Sarcinile logice originale se găsesc pe pereții piramidelor egiptene, în manuscrisele antice grecești și în alte monumente istorice. Gloria istoriei medievale a puzzle-urilor poate fi considerată sfârșitul secolului al IX-lea. Creșterea nivelului de educație și reducerea intoleranței religioase față de științe au dus la o extindere a cercului iubitorilor de sarcini logice. În acest moment, a existat și prima carte de puzzle-uri din Europa - o colecție de iluminare irlandeză Alquin Tasks pentru dezvoltarea unei minți tinere.
Următorul impuls în dezvoltarea puzzle-urilor a fost inventarea, în 1974, a Erno Rubik-ului maghiar al celebrului cub. Cubul lui Rubik nu a fost doar o jucărie, ci și un obiect de cercetare al matematicienilor și inginerilor. De atunci, în întreaga lume, concursurile se țin regulat pe asamblarea rapidă a unui cub. Industria modernă de puzzle-uri se dezvoltă rapid. În mod constant pe piață există jocuri, desene și publicații noi, menite să mențină intelectul uman într-un ton, să dezvolte logica, să pregătească gândirea nestandardă și să ridice nivelul intelectual în ansamblu.
Într-o țară îndepărtată, cavalerii au vorbit întotdeauna numai despre adevăr și nu au mințit, iar mincinoșii au mințit mereu și nu au vorbit niciodată adevărul. Și acum ajungem la cea mai interesantă sarcină, a anunțat solemn Regele.
Dl. Anthony a fost prezent o dată în instanță. Cazul cu acuzații de spionaj a fost audiat. În doc așezat trei A, B și C, cu privire la care, la începutul întâlnirii a fost cunoscut doar ca unul dintre ei este un cavaler, iar celălalt este un mincinos, iar al treilea a fost spion.
Pârâtul Un judecător a întrebat: Ești spion? Și el a răspuns în monosilabile ("da" sau "nu"). Apoi, judecătorul la întrebat pe inculpat. A: A spus într-adevăr adevărul? A dat un răspuns monosillabic ("da" sau "nu"), după care judecătorul, indicând unul dintre inculpați, a spus: Nu ești un spion, eliberat din custodie și poate fi liber! A plecat cu bucurie în sală. Apoi, judecătorul a cerut unuia dintre cei doi inculpați rămași în doc dacă vecinul său era un spion. El a răspuns monosillab ("da" sau "nu"), după care judecătorul cu încredere a stabilit cine este spionul.
În timp ce încă nu puteți determina cine a spus spionul, regele Alice, sunt necesare date suplimentare.
Ascultă, ce sa întâmplat în continuare.
Dl Anthony vorbea despre procesul lui