Съдържание:
Определение - Какво означава Prolog?
Bg Logique (Програмиране в логика) или Prolog е език за програмиране на високо ниво, който има корени в логиката от първи ред или предикатното смятане от първи ред. Езикът е замислен в Марсилия, Франция в началото на 70-те години от група, ръководена от Ален Колмерауер. Той е един от първите езици за логическо програмиране и остава популярен и днес. Това е език за програмиране, обикновено свързан с компютърната лингвистика и изкуствения интелект и се използва в експертни системи, доказване на теореми и съвпадение на модели над естествения език за разбор на дървета и обработката на естествен език.
Техопедия обяснява Пролог
Първата система на Prolog е разработена през 1972 г. от Colmerauer заедно с Филип Русел и се основава на процедурното тълкуване на клаузите на Робърт Ковалски. Отчасти беше мотивирано и от желанието да се съгласува използването на логиката като декларативен език за представяне на знанието с процедурно представяне на знанието. Prolog е предназначен специално за обработка на естествен език - свързан с компютърни и човешки (естествени) езикови взаимодействия.
Prolog се различава от другите езици на програмиране, тъй като е декларативен, а не последователности от команди. Понякога се нарича основан на правила или декларативен език, тъй като се изразява в отношенията между свойствата на обектите, представени като факти и правила. Изчисляването се инициира чрез стартиране на заявка за тези отношения.
Заявленията включват:
- Машинно обучение
- Планиране на роботи
- Автоматични разсъждения
- Решаване на проблеми
- Интелигентно извличане на база данни
- Разбиране на естествен език
- Език на спецификация
