SIW.06.Prolog.pdf

(418 KB) Pobierz
309386076 UNPDF
Sztuczna inteligencja
Jan Kazimirski
Sztuczna inteligencja
wykład 6
309386076.007.png 309386076.008.png
Sztuczna inteligencja
Jan Kazimirski
PROLOG
2
309386076.009.png 309386076.010.png
Sztuczna inteligencja
Jan Kazimirski
Literatura
● W. F. Clocksin, C. S. Mellish, „Prolog.
Programowanie”, Helion 2003
● I. Bratko, „Prolog Programming for Artificial
Intelligence”, Addison-Wesley 1986
● M. Bramer, „Logic Programming with Prolog”,
Springer 2005
● L. Sterling, E. Shapiro, „The Art of Prolog”, MIT
1999
3
309386076.001.png 309386076.002.png
Sztuczna inteligencja
Jan Kazimirski
Oprogramowanie
● GNU Prolog
– Strona domowa: http://www.gprolog.org/
– Źródła do pobrania: gprolog-1.3.1.tar.gz
– Instalacja: po rozpakowaniu: ./configure; make;
make install
● SWI Prolog
– Strona domowa: http://www.swi-prolog.org
– Instalacja: pakiet RPM (Open SUSE)
4
309386076.003.png 309386076.004.png
Sztuczna inteligencja
Jan Kazimirski
Prolog
● Prolog – „Programowanie w Logice”
● Alain Colmerauer and Phillipe Roussel – 1972 r
● Deklaratywny język programowania
● Dziedziny zastosowań:
– Analiza języka naturalnego
– Dowodzenie twierdzeń, obliczenia symboliczne
– Systemy eksperckie, inteligentne bazy danych
– Sztuczna inteligencja
5
309386076.005.png 309386076.006.png

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin