Логическо програмиране: Разлика между версии
Изтрито е съдържание Добавено е съдържание
мРедакция без резюме |
м неправилно членуване - предлог и пълен член |
||
Ред 108:
Програмният език [[Пролог (език за програмиране)|Пролог]] е създаден от [[Ален Колмерое]] през 1972 година. Той е резултат на съвместната работа между Колмерое и [[Робърт Ковалски]] в [[Единбург]]. Колмерое е работил върху [[естественият език на разбиране]], използвайки логика за да представи семантиката и използвайки резолюция за съответните въпроси и отговори. През лятото на 1971 година, Колмерое и Ковалски открили, че клаузалната форма на логика може да се използва за представяне на официални граматики, а теоремата за резолюция доказала, че биха могли да бъдат използвани и за граматичен разбор. Те установили как някои теореми се доказали, като хипер-резолюцията и естественият език на разбиране [[SL-резолюцията]] през 1971 година. Процедурното тълкуване на Ковалски и LUSH, са описани в бележка от 1973 година и са публикувани година по-късно.
През лятото и есента на 1972 година двамата отново работили заедно и разработили процесуално тълкуване на последиците. Чрез декларативно-процесуалната интерпретация, по-късно образували нотацията на
:<samp>H :- B<sub>1</sub>, ..., B<sub>n</sub>.</samp>
Ред 221:
[[F-logic]] добавя към логическото програмиране обекти и рамков синтаксис. Редица системи са базирани на F-logic, включително [[Flora-2]], [[FLORID]], и високо мащабна търговска система [[Ontobroker]].
[[Logtalk]] добавя към
=== Трансакционно логическо програмиране ===
| |||