1636660656

1

ROZDZIAŁ

Podstawy

1.1 Zdumiewający początek

Już sama nazwa języka - Prolog - niesie w sobie informację o jego przeznaczeniu. Słowo „prolog" pochodzi bowiem od sformułowania programmation en logique co w języku francuskim oznacza właśnie programowanie w logice. Prolog został stworzony w 1971 roku przez Alaina Colmeraurera i Phillipe'a Roussela. Colmerauer badał możliwość przetwarzania* języka naturalnego, którego semantyka reprezentowana miała być za pomocą wyrażeń logicznych, natomiast narzędziem pozwalającym na wnioskowanie miała być rezolucja. Z tego powodu teoretyczne podstawy Prologa stanowi rachunek predykatów pierwszego rzędu (ale ograniczony tylko do klauzul Horna).Jeszcze w pierwszych latach XXI wieku był bardzo chętnie używany w wielu programach związanych z

•    logiką matematyczną (automatyczne dowodzenie twierdzeń);

•    przetwarzaniem języka naturalnego;

•    symbolicznym rozwiązywaniem równań;

•    sztuczną inteligencją;

•    przechowywaniem i przetwarzaniem danych.

I choć powoli jego miejsce zajmują wygodniejsze narzędzia jak na przykład silniki regułowe (o czym powiemy w części VII i VIII), to wciąż stanowi wspaniały model dydaktyczny.

‘Przetwarzanie w sensie rozumienie.

3