Programowanie w logice 1000-2N00PLO
1. Idea programowania w logice (programowanie deklaratywne a imperatywne). Składnia programów w logice.
2. SLD-rezolucja: mechanizm obliczeniowy dla programów w logice.
3. Semantyka programów w logice (poprawność i pełność SLD-rezolucji).
4. Negacja w programowaniu w logice (wyprowadzanie negatywnych informacji, programy z negacją, klasy programów).
5. Sterowanie w programowaniu w logice (odcięcie).
6. Przegląd dziedzin programowania w logice: programowanie z więzami, równoległość, deklaratywna lokalizacja błędów.
Rodzaj przedmiotu
Tryb prowadzenia
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Wiedza
1. Ma ogólną wiedzę w zakresie programowania deklaratywnego (K_W02).
2. Ma wiedzę w zakresie składni i semantyki programów w logice (K_W01, K_W02).
3. Zna podstawowe techniki programowania w logice (K_W01, K_W02).
4. Ma podstawową wiedzę na temat systemu automatycznego dowodzenia twierdzeń występującego w programowaniu w logice (K_W09).
Umiejętności
1. Potrafi formułować różne własności w sposób deklaratywny (K_U01).
2. Potrafi pisać, uruchamiać i testować programy w języku programowania w logice (K_U05).
3. Potrafi ocenić przydatność paradygmatu programowania w logice do rozwiązywania różnego typu problemów (K_U20).
Kompetencje
1. Zna ograniczenia własnej wiedzy i rozumie potrzebę dalszego kształcenia (K_K01).
2. Potrafi pracować indywidualnie (K-K05).
Kryteria oceniania
Ocena końcowa na podstawie sumy punktów uzyskanych z kolokwium (20 pkt), laboratorium (dwie klasówki po 10 pkt,) i egzaminu (60 pkt).
Egzamin poprawkowy: ocena wyłącznie na podstawie wyników samego egzaminu.
Literatura
1. U.Nilsson, J.Małuszyński ,"Logic Programming and Prolog", wyd. 2, John Wiley, 1995,. http://www.ida.liu.se/~ulfni/lpp/
2. K.R.Apt ,"From Logic Programming to Prolog". 1997.
3. L.Sterling, E.Shapiro, The Art of Prolog. MIT, 1994.
4. W.F.Clocksin, C.S.Mellish, Prolog. Programowanie. Wyd. Helion, 2003.
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: