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