Principalele concepte din limba Prolog sunt fapte, reguli de inferență și interogări care vă permit să descrieți bazele cunoașterii. proceduri de deducere și de luare a 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, cărora 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. [1] Fiind un limbaj de programare declarativ. Prolog percepe ca un program o descriere a sarcinilor sau a bazelor de cunoștințe și produce o concluzie logică, precum și o căutare pentru soluționarea problemelor, folosind mecanismul de căutare cu revenire și unificare.
Interesul față de Prolog a crescut și a murit de mai multe ori, entuziasmul fiind înlocuit de o respingere dură. Cea mai mare a fost crescut interesul în limba Prolog ca limba viitorului, în timpul dezvoltării de-a cincea generație de calculatoare ale programului național japonez în anii 1980, când au fost în speranța dezvoltatorilor, care, cu ajutorul Prologul va fi de a formula noi principii care vor duce la crearea de calculatoare superioare nivelul inteligenței.
Prologul de limbă în anii 1980 a fost inclus într-o serie de manuale sovietice de liceu și școală de informatică pentru a studia elementele logicii matematice, principiile programării logice și proiectarea bazelor de cunoștințe și a modelelor de sisteme expert. În acest scop, pe PC-ul IBM și un număr de computere școlare școlare au fost implementate interpreți educaționali de limbă rusă ale Prolog.
În limba Prolog, faptele sunt descrise sub forma predicatelor logice cu semnificații concrete. Regulile de ieșire sunt descrise de predicatele logice cu definirea regulilor de inferență logică sub forma unei liste de predicate față de bazele cunoașterii și procedurile de prelucrare a informațiilor.
În prezent, Prolog, în ciuda previziunilor pesimiste repetate, continuă să se dezvolte în diferite țări și încorporează noi tehnologii și concepte, precum și paradigme de programare imperativă. În special, una dintre domeniile de dezvoltare a limbajului (inclusiv în Rusia) implementează conceptul de agenți intelectuali.
Cross-platform
Prolog este implementat pentru aproape toate sistemele de operare cunoscute și platformele (inclusiv Java și .NET). Sistemele de operare includ OS pentru mainframe. întreaga familie Unix. Windows. OS pentru platforme mobile.
arhitectură
Principiul de bază este echivalenței limbii și prezentarea datelor de program (declarative), ceea ce face aprobarea limbii sunt atât de înregistrări, aceste înregistrări în baza de date, precum și regulile care transporta metodele lor de tratament. Combinația acestor calități conduce la faptul că, cunoașterea sistemului de lucru Prolog (ambele date și reguli) sunt acumulate. Prin urmare, sistemul Prolog este considerat mediul natural pentru acumularea de cunoștințe și de formare a studenților și elevilor la principiile programării logice.
Programul pe Prolog descrie relațiile definite prin intermediul propozițiilor. Ca și în orice altă limbă, sa concentrat asupra calculelor simbolice. frazele sunt construite din termeni care la rândul lor sunt subdivizate în atomi, numere, variabile și structuri. Atomul este scris cu o literă mică sau este introdus în ghilimele atunci când este necesară introducerea unui capital.
Variabilele scrise cu o majusculă sunt diferite de variabilele din limbile de programare procedurală, nu sunt asociate cu o anumită celulă de memorie, ci mai degrabă mai aproape de o variabilă matematică.
Structurile sunt seturi de termeni închise în paranteze, inclusiv alte structuri. Structura este notată cu numele (functor), care este plasat în fața parantezelor.
Un alt model este listele, ale căror elemente sunt închise în paranteze pătrate. Listele din Prolog se bazează pe listele legate.
În Prologul pur, frazele sunt limitate la Disjuncturile lui Horne
și se citesc ca: Titlul este TRUE, dacă Corpul este TRUE. Corpul de reguli conține referințe la predicate, care sunt numite obiectivele regulii. Buletine predicate, / 2. Acesta este un operator cu două argumente care determină corelarea obiectivelor și / / 2 este disjuncția definitorie.
Concluziile cu un corp gol se numesc Fapte. Exemplu de fapt:
este echivalentă cu regula:
Prologul este criticat în primul rând pentru natura declarativă incompletă. Crearea de programe într-un stil complet declarativă este aproape imposibil, este necesar să se recurgă la recepție procedurală, ceea ce duce la o creștere bruscă a complexității de a crea și de depanare de programe, precum și slab controlat rezultate intermediare. [2] O altă proprietate frecvent criticată a limbii este lipsa de tipificare. Limbajul este predeterminat ordinea de soluții traversal în profunzime și operatorii standardizate, care să permită să intervină în acest proces (cum ar fi clipping operatorul sau ramura. ->) și nu permit ca programul să paraleliza implicat în găsirea unei soluții la mai multe procesoare sau noduri din rețea.
notițe
Vezi ce "Prologue (limbaj de programare)" se află în alte dicționare:
PROLOGUL (limbaj de programare) - Prologue (PROLOG, de la PROGRAMARE în Logică, programare în logică), un limbaj de programare (cm limbaje de programare.), Un tip declarativ la nivel înalt, conceput pentru a dezvolta sisteme și programe de inteligență artificială; se referă la ... ... Collegiate Dictionary
Limba de programare Prolog - limba de programare logică, programul pe care constă din: declarații logice care formează baza de date; și de la regula pentru derivarea de noi declarații din cele cunoscute. În limba engleză: limba PROLOG Vezi de asemenea: Limbi de programare declarative ... ... Dicționar financiar
Limba de programare - Limba de programare este un sistem de semne formale destinat înregistrării programelor de calculator. Limba de programare definește un set de reguli lexicale, sintactice și semantice care definesc aspectul programului și acțiunilor, ... ... Wikipedia
Dylan limbaj de programare - Dylan dinamic limbaj de programare orientat-obiect care vizează dezvoltarea rapidă a programelor destinate în primul rând de eforturile depuse de moștenire multiplă, polimorfism, și multe alte caracteristici. Limbajul general, ... ... Wikipedia
- Prolog (limba de programare). Jesse Russell. Această carte va fi realizată în conformitate cu comanda dvs. privind tehnologia Print-on-Demand. Conținut de înaltă calitate prin articole WIKIPEDIA! Prolog (programare și logică) - limba și sistemul ... Mai multe informații
- Limbajul relațional este prologul și aplicarea acestuia. J. Malpas. Prologul limbajului de programare relațional este descris, se ia în considerare tehnica de programare și aplicațiile specifice. Conține un număr mare de exemple bine alese, ilustrând ... Mai mult Cumpărați pentru 270 руб
- Bazele programării Prolog. Curs de prelegeri. P. A. Schreiner. Cartea este dedicată studiului celui mai popular limbaj de inteligență artificială Prolog. Această limbă, la un moment dat, a fost pusă în Japonia ca bază pentru proiectul unui computer de a cincea generație, care, totuși, nu ... Citește mai mult Cumpărați pentru 228 UAH (numai Ucraina)
Articole similare
Trimiteți-le prietenilor: