Krótkie wprowadzenie
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"
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"