Prolog

Zawartość

Definicja - Co oznacza Prolog?
Wprowadzenie do Microsoft Azure i Microsoft Cloud | W tym przewodniku dowiesz się, na czym polega przetwarzanie w chmurze i jak Microsoft Azure może pomóc w migracji i prowadzeniu firmy z chmury.
Techopedia wyjaśnia Prolog

Definicja - Co oznacza Prolog?

Programmation en Logique (Programowanie w logice) lub Prolog to język programowania wysokiego poziomu, którego korzenie sięgają logiki pierwszego rzędu lub rachunku predykatów pierwszego rzędu. Język został opracowany w Marsylii we Francji na początku lat 70. XX wieku przez grupę kierowaną przez Alaina Colmerauera. Jest to jeden z pierwszych logicznych języków programowania i nadal jest popularny. Jest to język programowania powszechnie kojarzony z językoznawstwem obliczeniowym i sztuczną inteligencją i jest stosowany w systemach eksperckich, dowodzeniu twierdzeń i dopasowywaniu wzorców w drzewach analizy języka naturalnego i przetwarzaniu języka naturalnego.

Wprowadzenie do Microsoft Azure i Microsoft Cloud | W tym przewodniku dowiesz się, na czym polega przetwarzanie w chmurze i jak Microsoft Azure może pomóc w migracji i prowadzeniu firmy z chmury.

Techopedia wyjaśnia Prolog

Pierwszy system Prolog został opracowany w 1972 roku przez Colmerauera wraz z Philippe'em Rousselem i był oparty na proceduralnej interpretacji klauzul Horn z Robertem Kowalskim. Częściowo było to również motywowane chęcią pogodzenia użycia logiki jako deklaratywnego języka reprezentacji wiedzy z proceduralną reprezentacją wiedzy. Prolog został specjalnie opracowany do przetwarzania języka naturalnego - dotyczy interakcji komputera i człowieka (języka naturalnego).

Prolog różni się od innych języków programowania, ponieważ ma charakter deklaratywny, a nie sekwencje poleceń. Czasami nazywany jest językiem opartym na regułach lub deklaratywnym, ponieważ wyraża się go w kategoriach relacji między właściwościami obiektów, przedstawianych jako fakty i reguły. Obliczenia są inicjowane przez uruchomienie zapytania dotyczącego tych relacji.

Aplikacje obejmują: