Шта је Пролог

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

Примене Пролога

Примене пролога су следеће:

• Језик спецификације
• Планирање робота
• Разумевање природног језика
• Машинско учење
• Решавање проблема
• Интелигентно преузимање базе података
• Експерт систем
• Аутоматско резоновање

Предуслов

Пре него што научите Пролог,

Публика

Наш Пролог водич је дизајниран да помогне почетницима и професионалцима.

Армстронгов број

Проблеми

Уверавамо вас да нећете наћи никакав проблем у овом водичу за Пролог. Али ако постоји нека грешка, објавите проблем у обрасцу за контакт.