Шта је Пролог
- Пролог је скраћеница за програмирање у логици. У парадигми логичког програмирања, пролог језик је најшире доступан. Пролог је декларативни језик, што значи да се програм састоји од података заснованих на чињеницама и правилима (Логички однос), а не рачунања како пронаћи решење. Логички однос описује релације које важе за дату апликацију.
- Да би добио решење, корисник поставља питање уместо да покреће програм. Када корисник постави питање, да би одредио одговор, систем времена извршавања претражује базу података чињеница и правила.
- Први Пролог био је 'Марсејски пролог', који је заснован на делу Колмерауера. Главни пример програмског језика четврте генерације био је пролог. Подржава парадигму декларативног програмирања.
- Године 1981, јапански компјутерски пројекат 5тхнајављена је генерација. Након тога је усвојен Пролог као развојни језик. У овом туторијалу, програм је написан у 'Стандард' Единбургх Прологу. Прологови породице ПрологИИ су друга врста пролога који су потомци Марсејског Пролога.
- Карактеристике Пролога су 'Логичка променљива', што значи да се понашају као униформна структура података, стратегија враћања уназад за тражење доказа, могућност упаривања шаблона, математичка променљива и улаз и излаз су заменљиви.
- Да бисмо закључили одговор, постојаће више од једног начина. У том случају, систем времена извршавања ће бити затражен да пронађе друго решење. Да бисте генерисали друго решење, користите стратегију враћања назад. Пролог је слабо куцан језик са статичким правилима опсега и динамичком провером типова.
- Пролог је декларативни језик који значи да можемо одредити који проблем желимо да решимо, а не како да га решимо.
- Пролог се користи у неким областима као што су база података, обрада природног језика, вештачка интелигенција, али је прилично бескористан у неким областима као што су нумерички алгоритам или графика инстанце.
- У апликацијама вештачке интелигенције, пролог се користи. Апликације вештачке интелигенције могу бити аутоматизовани системи расуђивања, интерфејси природног језика и експертни системи. Експертски систем се састоји од механизма интерфејса и базе података. Систем времена рада пролога пружа услугу интерфејс мотора.
- Основно логичко програмско окружење нема литералне вредности. Идентификатор са великим словима и други идентификатори означавају променљиве. Идентификатори који почињу малим словима означавају вредности података. Основни елементи Пролога су безтипски. Већина имплементација пролога је побољшана тако да укључује целобројну вредност, карактере и операције. Механизам пролога описује тупле и листе.
- Функционални програмски језик и пролог имају неке сличности као Хугс. Логички програм се користи да се састоји од дефиниције релације. Функционални програмски језик се користи да се састоји од низа дефиниција функција. И логичко програмирање и функционално програмирање се у великој мери ослањају на рекурзивне дефиниције.
Примене Пролога
Примене пролога су следеће:
- Језик спецификације
- Планирање робота
- Разумевање природног језика
- Машинско учење
- Решавање проблема
- Интелигентно преузимање базе података
- Експерт систем
- Аутоматско резоновање
Предуслов
Пре него што научите Пролог,
Публика
Наш Пролог водич је дизајниран да помогне почетницима и професионалцима.
Армстронгов број
Проблеми
Уверавамо вас да нећете наћи никакав проблем у овом водичу за Пролог. Али ако постоји нека грешка, објавите проблем у обрасцу за контакт.