Programowanie w logice i w Prologu 1000-2M10PLO
1. SLD-rezolucja: mechanizm obliczeniowy dla programów w logice.
2. Semantyka programów w logice (poprawność i pełność SLD-rezolucji).
3. Negacja w programowaniu w logice (wyprowadzanie negatywnych informacji, programy z negacją, klasy programów, semantyki programów z negacją).
4. Przegląd dziedzin programowania w logice: programowanie z więzami, równoległość, deklaratywna lokalizacja błędów.
5. Weryfikacja programów w logice.
Wymagania:
Znajomość podstaw programowania w logice (JiPP).
Założenia:
Języki i paradygmaty programowania.
Logika dla informatyków.
Rodzaj przedmiotu
Tryb prowadzenia
Założenia (lista przedmiotów)
Założenia (opisowo)
Koordynatorzy przedmiotu
Efekty kształcenia
Wiedza
1. Ma uporządkowaną wiedzę w zakresie semantyki programów w logice (K_W01, K_W02).
2. Zna podstawowe własności (poprawność i pełność) systemu dowodzenia twierdzeń występującego w programowaniu w logice (K_W09).
3. Zna zaawansowane techniki programowania w logice (K_W01, K_W02).
4. Zna podstawy wybranych dziedzin programowania w logice (m.in. programowanie
z więzami, metaprogramowanie, równoległość w programowaniu w logice) (K_W01).
Umiejętności
1. Potrafi pisać, uruchamiać i testować programy w Prologu (K_U05).
2. Potrafi pisać metainterpretery w Prologu (np. debugger) (K_U05).
3. Potrafi wybrać właściwą technikę programowania do rozwiązania danego problemu (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 wyników z egzaminu (60 pkt.), kolokwium (20 pkt.) oraz dwóch małych programów zaliczeniowych (2*10 pkt.).
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: