логика език за програмиране - това
Logic език за програмиране
Логическо програмиране - програмиране парадигма. въз основа на автоматизиран теорема доказване, както и на част от дискретна математика. научат принципите на логически извод въз основа на информацията, предоставена факти и правила за извод. Logic програмиране се базира на теорията на математическата логика, използвайки математически резолюции принципи.
Най-известният е езикът на логиката програмиране Prolog.
Първият логика език за програмиране е езикът на стека. След това тя се развива Prolog език. която не изисква сортиране опции план и е в този смисъл, език опростяване Меркурий, Visual Prolog. Оз и Fril вече се е случвало от Prolog език. Въз основа на език Шапиро [1989]).
препратки
Вижте какво "логика език за програмиране" в други речници:
Prolog програмиране - логически език за програмиране, в която програмата е: логически изрази, които формират на база данни; и на правилата за извод на нови твърдения известни. На английски език :. PROLOG език Вижте също: декларативни езици за програмиране ... ... финансов речник
Сравнение на езици за програмиране - Тази статия трябва да бъде vikifitsirovat. Моля, уверете се, че в съответствие с правилата на регистрационни документи. Легенда ... Wikipedia
Logic език за програмиране - Logic парадигма програмиране програмиране на базата на автоматизирана теорема доказване, както и на част от дискретна математика, която изучава принципите на логически извод въз основа на информацията, предоставена факти и правила за извод ... ... Уикипедия.
Декларативен език за програмиране - Тази статия трябва да бъде vikifitsirovat. Моля, уверете се, че в съответствие с правилата на регистрационни документи. Декларативни езици за програмиране е език за програмиране на високо ниво, в което програмистът не обратно ... Wikipedia
Икона (език за програмиране) - Този термин, има и други приложения, вижте Икона (пояснение) .. Икона Семантика: А мулти-парадигма: наложително, логично ... Уикипедия
Леда (език за програмиране) - Този термин, има и други приложения, вижте Леда (пояснение) .. Леда (Леда) сравнение на мулти-парадигмата езици за програмиране, проектирани от Тимъти Budd. Леда език първоначално създаден, за да се съчетаят наложително програмиране, обектно ... ... Wikipedia
- Prolog (език за програмиране). Dzhessi Rassel. Тази книга ще бъде направено в съответствие с вашата поръчка на технологии технология за печат при поискване. Високо качество на съдържанието от статиите в Уикипедия! Prologue (френски програмирането ен Logique.) - на езика и системата ... Прочети повече купи за 1125 рубли
- програмни техники. Компютърни изчисления. Могилев А. Книгата е част от поредица от учебници за курса по компютърни науки и информационни и комуникационни технологии (ИКТ) в висшите класи на основно училище на ниво профил. Това ... Прочети повече купи за 295 рубли
- програмни техники. Компютърни изчисления. AV Mogilev, LV Listrova. Книгата е част от поредица от учебници за курса по компютърни науки и информационни и комуникационни технологии (ИКТ) в висшите класи на основно училище на ниво профил. Това ... Прочети повече купи за 269 рубли