Пролог

Зміст

Визначення - Що означає Пролог?
Вступ до Microsoft Azure та Microsoft Cloud | У цьому посібнику ви дізнаєтеся, що стосується хмарних обчислень та як Microsoft Azure може допомогти вам мігрувати та вести свій бізнес із хмари.
Техопедія пояснює Пролог

Визначення - Що означає Пролог?

Програма en Logique (Програмування в логіці) або Prolog - мова програмування високого рівня, яка має коріння в логіці першого порядку або обчисленні предикатів першого порядку. Мова була задумана у Марселі, Франція, на початку 1970-х років групою, яку очолив Ален Колмерауер. Це одна з перших мов програмування логіки, і вона залишається популярною і сьогодні. Це мова програмування, яка зазвичай асоціюється з обчислювальною лінгвістикою та штучним інтелектом і використовується в експертних системах, доведенні теорем і узгодженні шаблонів для дерев природного мовного розбору та обробки природних мов.

Вступ до Microsoft Azure та Microsoft Cloud | У цьому посібнику ви дізнаєтеся, що стосується хмарних обчислень та як Microsoft Azure може допомогти вам мігрувати та вести свій бізнес із хмари.

Техопедія пояснює Пролог

Перша система Prolog була розроблена в 1972 році Колмерауером разом з Філіппом Русселем і базувалася на процедурному тлумаченні Роберта Ковальського клаузальних рішень. Частково це мотивувалося прагненням узгодити використання логіки як мови декларативної подання знань із процедурним представленням знань. Prolog був спеціально розроблений для обробки природних мов - стосувався комп'ютерних та людських (природних) мовних взаємодій.

Prolog відрізняється від інших мов програмування тим, що є декларативним, а не послідовностями команд. Іноді її називають мовою, заснованою на правилах, або деклараційною, оскільки вона виражається у співвідношенні властивостей об'єктів, поданих як факти та правила. Розрахунок ініціюється запуском запиту щодо цих відносин.

До заявок належать: