Logica limbaj de programare - l
limbaj de programare logică
Programarea logică - programare paradigma. bazat pe demonstrarea teoremei automatizate, și o secțiune de matematică discretă. să învețe principiile de inferență logice pe baza informațiilor furnizate fapte și reguli de inferență. Programarea logică se bazează pe teoria logicii matematice folosind principii matematice rezoluții.
Cel mai renumit este limbajul de programare logică Prolog.
Prima limbaj de programare logică a fost limba stivei. Apoi a dezvoltat limbajul Prolog. care nu are nevoie de sortare plan de opțiuni și a fost, în acest sens, limbaj de simplificare Mercur, Visual Prolog. Oz și Fril deja a avut loc prin limbajul Prolog. Pe baza Shapiro limbii [1989]).
referințe
Vezi ce „limbaj de programare logică“, în alte dicționare:
programare Prolog - logica limbaj de programare în care programul este: declarații logice care formează o bază de date; și a regulilor de inferență a unor noi afirmații cunoscute. În limba engleză :. limba PROLOG A se vedea, de asemenea: limbaje de programare Declarative ... ... financiar Dicționar
Compararea limbaje de programare - Acest articol ar trebui să fie vikifitsirovat. Vă rugăm să-l facă în conformitate cu regulile de baza documentelor de înregistrare. Legenda ... Wikipedia
Logic limbaj de programare - Logic paradigmă de programare de programare bazate pe demonstrarea teoremei automate, și o secțiune de matematică discretă, care studiază principiile de inferență logice pe baza informațiilor furnizate fapte și reguli de inferență ... ... Wikipedia.
Declarativă limbaj de programare - Acest articol ar trebui să fie vikifitsirovat. Vă rugăm să-l facă în conformitate cu regulile de baza documentelor de înregistrare. limbaje de programare declarativă este nivelul înalt limbaje de programare, în care programatorul nu înapoi ... Wikipedia
Icon (limbaj de programare) - Acest termen, există alte utilizări, vezi Pictograma (dezambiguizare) .. Icon Semantica: Un multi-paradigmă: imperativ, logic ... Wikipedia
Leda (limbaj de programare) - Acest termen, există alte utilizări, vezi Leda (dezambiguizare) .. Leda (Leda) compararea limbaje de programare multi-paradigmă, proiectat de Timothy Budd. Limba Leda creat inițial pentru a combina programarea imperativă, obiect ... ... Wikipedia
- Prolog (limbaj de programare). Dzhessi Rassel. Această carte va fi făcută în conformitate cu comanda pe tehnologia de imprimare Tehnologie-on-Demand. Conținutul de calitate înaltă prin articole wikipedia! Prologue (franceză Programmation en logique.) - limba și sistemul de ... Citește mai mult Cumpărați 1.125 de ruble
- Tehnici de programare. Calcule de calculator. Mogilev A. Cartea face parte dintr-un set de manuale pentru cursul de Calculatoare și tehnologiile informației și comunicațiilor (TIC), în clasele superioare ale unei școli cuprinzătoare la nivel de profil. Este ... Citește mai mult Cumpărați 295 ruble
- Tehnici de programare. Calcule de calculator. AV Mogilev, LV Listrova. Cartea face parte dintr-un set de manuale pentru cursul de Calculatoare și tehnologiile informației și comunicațiilor (TIC), în clasele superioare ale unei școli cuprinzătoare la nivel de profil. Este ... Citește mai mult Cumpărați 269 ruble