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