Algorytm = Logika + Sterowanie

Krótkie wprowadzenie

Stacks Image 33
Nazywam się Przemysław Kobylański i witam na stronach poświęconych jednemu z ciekawszych języków programowania.

Programuję w Prologu od roku 1986 i wydaje mi się, że mogę służyć swoim doświadczeniem wszystkim chcącym nauczyć się tego języka.

Osobom, które nigdy wcześniej nie miały do czynienia z Prologiem, zalecam rozpoczęcie czytania stron od krótkiego WSTĘPU objaśniającego najważniejsze elementy języka.

W sekcji PODSTAWY znajdują się wpisy omawiające podstawowe konstrukcje jakie używa się przy tworzeniu programów w Prologu.

Sekcja WIĘZY zawiera wpisy dotyczące technologii więzów (ang. constraint programming).

Kolejna sekcja ZAGADKI przedstawia zastosowanie Prologu do rozwiązywania zagadek logicznych jakie można znaleźć w wyśmienitych książkach Raymonda Smullyana.

Ostatnia sekcja CO DALEJ zawiera informacje o najważniejszych książkach i stronach WWW dotyczących Prologu i programowania w logice. Zamieszczono w niej również odnośniki do różnych implementacji języka Prolog.

Jeśli chcesz studiować informatykę i nauczyć się między innymi programowania w Prologu, to zapraszam na nasz kierunek Informatyka na WPPT PWr.

Podstawowe fakty

NAZWA
Prolog

PARADYGMAT
programowanie w logice

TWÓRCA
Alain Colmerauer

ROK POWSTANIA
1972

STANDARD
1995 ISO/IEC 13211-1
2000 ISO/IEC 13211-2

OBSZARY ZASTOSOWAŃ
przetwarzanie języka naturalnego, systemy eksperckie, automatyczne dowodzenie twierdzeń

MOTTO
"Algorytm = Logika + Sterowanie"