Satura rādītājs:
Definīcija - ko nozīmē Prolog?
Programming en Logique (Programming in Logic) vai Prolog ir augsta līmeņa programmēšanas valoda, kuras saknes ir pirmās kārtas loģikā vai pirmās kārtas predikāta aprēķinā. Valodu iecerēja Marseļā, Francijā, 70. gadu sākumā Alaina Kolmerauera vadītā grupa. Tā ir viena no pirmajām loģiskās programmēšanas valodām, un tā joprojām ir populāra. Tā ir programmēšanas valoda, kas parasti tiek saistīta ar skaitļošanas valodniecību un mākslīgo intelektu, un to izmanto ekspertu sistēmās, teorēmu pierādīšanā un modeļa saskaņošanā ar dabiskās valodas parsēšanas kokiem un dabiskās valodas apstrādē.
Techopedia skaidro Prolog
Pirmo Prolog sistēmu 1972. gadā izstrādāja Kolmerauers kopā ar Filipu Rousselu, un tā balstījās uz Roberta Kovaļski procesuālo Horn klauzulu interpretāciju. Daļēji to motivēja vēlme saskaņot loģikas kā deklaratīvas zināšanu reprezentācijas valodas izmantošanu ar zināšanu procesuālo attēlojumu. Prolog tika mērķtiecīgi izstrādāts dabiskās valodas apstrādei - tas bija saistīts ar datora un cilvēka (dabiskās) valodas mijiedarbību.
Prolog atšķiras no citām programmēšanas valodām, jo tas ir deklaratīvs, nevis komandu secība. To dažreiz sauc par likumu balstītu vai deklaratīvu valodu, jo to izsaka kā attiecības starp objekta īpašībām, pasniedzot kā faktus un noteikumus. Aprēķinu sāk, palaižot vaicājumu par šīm attiecībām.
Pieteikumos ietilpst:
- Mašīnmācība
- Robotu plānošana
- Automatizēta spriešana
- Problēmu risināšana
- Saprātīga datu bāzes izguve
- Dabiskās valodas izpratne
- Specifikācijas valoda
