PROGRAMOWANIE DEKLARATYWNE
LITERATURA
I. PROGRAMOWANIE W LOGICE, PROLOG
________________________________________________________________________
1. W.F. Clocksin, C.S. Mellish
Prolog. Programowanie.
Wydawnictwo Helion, Gliwice, 2003
2. Eugeniusz Gatnar, Katarzyna Stąpor
PROLOG język sztucznej inteligencji
Wydawnictwo PLJ, Warszawa 1991.
3. Jerzy Bartoszek, Jolanta Cybulko
Programowanie deklaratywne
Wydawnictwo Politechniki Poznańskiej. Poznań 1999
4. Grażyna Brzykcy, Adam Meissner
Programowanie w PROLOGu i programowanie funkcyjne.
Materiały do ćwiczeń
Wydawnictwo Politechniki Poznańskiej. Poznań 1999
5. J. W. Lloyd
Foundations of Logic Programming.
Springer Ferlag, wyd.2, 1987
6. Kees Doets
From Logic to Logic Programming
The MIT Press, 1994
7. Ulf Nilsson, Jan Małuszyński
Logic, Progamming and Prolog
http://www.ida.liu.se/~ulfni/lpp
8. Strona internetowa dotycząca SWI Prologu:
http://www.swi-prolog.org