Обща информация за езика Prolog - Studiopedia
В началото на 70-те години група специалисти от университета в Марсилия (Франция), ръководени от А. Колмеро, разработиха специализирана система за доказване на теореми. Системата за доказателство на теорема, наречена Пролог, въплъщава процедурната семантика на Р. Ковалски
Първият интерпретатор на PROLOGUE, написан на FORTRAN, е разработен от A. Colmero и F. Bolgarcel през 1973 г.
Днес Prolog е език, предназначен за програмиране на приложения, които използват инструментите и методите на изкуствения интелект и създаването на експертни системи.
В Пролог (Prolog - PROgrammmg LOGic) получавате решението на проблема чрез логическо извличане от предварително известни позиции. Обикновено програмата Prolog не е последователност от действия; тя е набор от факти с правила, които гарантират, че се правят заключения от тези факти. Следователно Prolog е известен катодекларативен език.
Prolog се основава на изреченията на Horn, които са подмножество на формална система, нареченапредикатна логика. Логиката на предикатите е най-простият начин да обясните как "работи" мисленето и е по-проста от аритметиката, която използвате от дълго време.
Prolog използва опростена версия на синтаксиса на предикатната логика, който е лесен за разбиране и много близък до естествения език.
Prolog включва машина за изводи, която се основава на съвпадение на шаблони. С помощта на избор на отговори на запитвания, той извлича съхранената (известна) информация. Prolog се опитва да тества истинността на дадена хипотеза (с други думи, да отговори на въпрос), като иска информация, за която вече е известно, че е вярна. Знанието на Prolog за света е ограничен набор от факти (и правила), дадени в програмата.
Един от най-важнитеОсобеността на Prolog е, че в допълнение към логичното търсене на отговори на въпросите, които задавате, той може да се занимава с алтернативи и да намира всички възможни решения. Вместо обичайната работа от началото на програмата до края, Prolog може да се върне назад и да разгледа повече от един „път“, докато решава всички части, съставляващи проблема.
Програмистът на Prolog описваобектиирелациии след това описва правилата, при които тези връзки са верни.
1. Пролог програмите се състоят от два вида фрази: факти и правила, наричани ощеизречения.
- Фактитеса връзки или свойства, за които е известно, че са верни.
- Правилатаса свързани отношения; те позволяват на Prolog да изведе една информация от друга. Правилото се оценява на „вярно“, ако се докаже, че посоченият набор от условия е верен.
2. В Prolog всички правила имат 2 части: заглавка и тяло, разделени със специален знак :-.
- Headerе факт, който би бил верен, ако повече от едно условие е вярно. Това се наричаизходили зависимо отношение.
- Тялое набор от условия, които трябва да са верни, за да може Prolog да докаже, че заглавието на правилото е вярно.
Както вероятно вече сте забелязали, факти и правила са почти едно и също нещо, с изключение на това, че фактите нямат изрично съдържание. Фактите се държат така, сякаш имат тяло, което винаги е вярно.
По същество има само два вида фрази, които съставляват езика на Пролог: фразата може да бъде или факт, или правило.
Фактпредставлява или свойство на обект, или връзка между обекти. Фактът е самодостатъчен.Правилое свойство иливръзка, която е сигурна, когато се знае, че редица други връзки са верни.
Връзка в Prolog се наричапредикат.
Не намерихте това, което търсихте? Използвайте търсачката:
Деактивирайте adBlock! и опреснете страницата (F5)наистина е необходимо