Prolog е език за програмиране от високо ниво от четвърто поколение. Използва се главно в изследванията на изкуствения интелект, приложенията и софтуера и обикновено се намира само в експертни системи и много напреднали технологии.
Това е акроним за PROgramming in LOGic и е декларативен език. Това означава, че вместо да казва на компютъра какви точно стъпки да следва, програмистът описва проблема, който трябва да бъде решен.
Technipages обяснява Prolog
По своята същност Prolog много прилича на езици за заявки, които работят с бази данни и в системи за управление на бази данни като SQL. Има обаче важна разлика – докато езикът на заявките има информация, която може да бъде извлечена, езикът за програмиране не.
В SQL е възможно да попитате база данни „Сюзън Майер над 18 ли е?“, при условие че информацията е налице. В декларативен език за програмиране това не е възможно, но вместо това е възможно да се решават математически проблеми, като се описват отблизо.
Prolog е особено подходящ за работа с AI и компютърна лингвистика. Изразите и кодът са написани от гледна точка на отношения, факти, правила и стандарти. След това се извършва действително изчисление чрез въвеждане на информация, която се третира в съответствие с тези стандарти.
Prolog е и най-популярният език за логично програмиране и е от създаването му през 1972 г. Логическите езици за програмиране разчитат на ясно дефинирани правила, което ги прави много различни от обектно-ориентираното програмиране (тип език, често използван в софтуер, ориентиран към потребителя).
Често срещани употреби на Prolog
- Prolog е съкращение от PROgramming in LOGic и е замислен за първи път през 1972 г. от Ален Колмерауер и неговата група във Франция.
- Днес Prolog е много популярен в изследванията на AI и приложенията, които поддържат машинно обучение.
- В сравнение с езици като PHP или Java, Prolog е логически ориентиран, което означава, че работи чрез точен набор от правила, уникални за всяко приложение.
Често срещани злоупотреби с Prolog
- Prolog е първият раздел от всяка част от кода.