Informacje ogólne

Typ:obowiazkowy

Program

Idea programowania w logice jest ważnym krokiem w rozwoju języków programowania. W przypadku tzw. języków imperatywnych programista musi wskazać jak dane zagadnienie rozwiązać. Dla programowania w języku logiki podstawowym zadaniem jest opisanie problemu, czyli koncentrujemy się na pytaniu co zamiast jak. Celem wykładu jest poznanie związku programowania deklaratywnego z logiką matematyczną, poznanie języka Prolog(PROgramming in LOGic), a także technik reprezentacji wiedzy.

Sposób zaliczenia

Laboratorium: Oceniane są programy pisane w czasie zajęć(wejściówki/kolokwia) i w domu (prace domowe). Zaliczenie na podstawieilości uzyskanych punktów z wykonanych zadań.
Egzamin: pisemny.

Literatura

• I. Bratko - Prolog programming for artificial intelligence, Addison-Wesley Publ. Co 1994.
• J. W. Lloyd - Foundations of logic programming, Springer Verlag 1987.
• Grażyna Brzykcy, Adam Meissner - Programowaniew Prologu i programowanie funkcyjne, Materiały do ćwiczeń, WydawnictwoPolitechniki Poznańskiej, 1999 r.