Преглед садржаја:
Дефиниција - Шта значи Пролог?
Програмирање Логикуе (Програмирање у логици) или Пролог је програмски језик високог нивоа који има своје коријене у логици првог реда или предикатном рачуну. Језик је осмислила у Марсеиллу у Француској почетком 1970-их група коју је водио Алаин Цолмерауер. То је један од првих програмских језика логике и данас је популаран. То је програмски језик који се обично повезује с рачунарском лингвистиком и вештачком интелигенцијом и користи се у стручним системима, доказивању теорема и усклађивању образаца у односу на природна језичка рашчлањивања и обраду природног језика.
Техопедиа објашњава Пролог
Први систем Пролог развио је 1972. Цолмерауер заједно са Пхилиппеом Роусселом и заснован је на процедуралној интерпретацији Рогових клаузула Роберта Ковалског. То је дијелом мотивирано жељом да се логика као језик декларативног представљања усклади с процедуралним представљањем знања. Пролог је наменски развијен за обраду природног језика - везан за рачунарске и људске (природне) језичне интеракције.
Пролог се разликује од осталих програмских језика по томе што је декларативни, а не низови наредби. Понекад се назива језиком који се заснива на правилима или декларативном језику јер се изражава у односима својстава објеката, представљених као чињенице и правила. Рачунање се покреће покретањем упита о тим односима.
Пријаве укључују:
- Машинско учење
- Планирање робота
- Аутоматизовано резоновање
- Решавање проблема
- Интелигентно претраживање базе података
- Природно разумевање језика
- Језик спецификације
