Зміст:
Визначення - Що означає Пролог?
Програмування en Logique (Програмування в логіці) або Prolog - мова програмування високого рівня, що має коріння в логіці першого порядку або обчисленні предикатів першого порядку. Мова була задумана у Марселі, Франція, на початку 1970-х років групою, яку очолив Ален Колмерауер. Це одна з перших мов програмування логіки, і вона залишається популярною і сьогодні. Це мова програмування, яка зазвичай асоціюється з обчислювальною лінгвістикою та штучним інтелектом і використовується в експертних системах, доведенні теорем і узгодження зразків для дерев природного мовного розбору та обробки природних мов.
Техопедія пояснює Пролог
Перша система Prolog була розроблена в 1972 році Колмерауером разом з Філіппом Русселем і базувалася на процедурній інтерпретації Роберта Ковальського. Частково це мотивувалося прагненням узгодити використання логіки як мови декларативної подання знань із процедурним представленням знань. Prolog був спеціально розроблений для обробки природних мов - стосувався комп'ютерних та людських (природних) мовних взаємодій.
Prolog відрізняється від інших мов програмування тим, що є декларативним, а не послідовностями команд. Іноді її називають мовою, заснованою на правилах, або деклараційною, оскільки вона виражається у співвідношенні властивостей об'єктів, поданих як факти та правила. Розрахунок ініціюється запуском запиту щодо цих відносин.
До заявок належать:
- Машинне навчання
- Планування роботів
- Автоматизовані міркування
- Вирішення проблеми
- Інтелектуальне пошуку бази даних
- Природне розуміння мови
- Мова специфікації
