Programowanie w logice i funkcyjne WM-I-S2-E2-PLF
Laboratorium (LAB) Semestr letni 2024/25

Literatura podstawowa

1. Clocksin, Mellish, Prolog. Programowanie. Helion

2. Paul Hudak, John Peterson, Joseph Fasel, A Gentle Introduction to Haskell, Version 98, 2000,

wolny dostęp: https://www.haskell.org/tutorial/

Literatura uzupełniająca

3. Nilsson, Małuszyński, Programming in Prolog, Wiley & Sons Ltd, wolny dostęp: http://www.ida.liu.se/~ulfni53/lpp/

4. Harold Abelson, Gerald Jay Sussman, Julie Sussman, Struktura i interpretacja programów komputerowych, WNT.

5. Paul Hudak, John Peterson, Joseph Fasel, A Gentle Introduction to Haskell, Version 98, 2000,

wolny dostęp: https://www.haskell.org/tutorial/

6. Richard Bird, Introduction to Functional Programming using Haskell.

7. Simon Peyton Jones (ed.), Haskell 98. Language and Libraries. The Revised Report. 2002, wolny dostęp: https://www.haskell.org/definition/haskell98-report.pdf

1. Przypomnienie wiadomości o klasycznym rachunku zdań.

2. Rezolucja.

3. SLD rezolucja.

4. Wprowadzenie do Prologa i środowiska SWI Prolog.

5. Struktura listy i operacje na niej.

6. Struktury rekurencyjne, drzewa.

7. Programowanie z akumulatorem, listy różnicowe.

8. Podsumowanie wiadomości na temat Prologa.

9. Wprowadzenie do interpretera Haskella. Podstawy definiowania funkcji w Haskellu.

10. Operacje na listach w Haskellu.

11. Typy, definiowanie typów, typy rekurencyjne, klasy typów.

12. Funkcje wyższych rzędów, uzgadnianie typów.

13. Operacje wejścia-wyjścia. Monady.

14. Struktury nieskończone.

15. Podsumowanie wiadomości z Haskella.