W powszechnie używanym paradygmacie programowania imperatywnego dowodzenie poprawności programów jest raczej trudne (metoda Hoare'a). Celem seminarium jest pokazanie, o ile te sprawy są prostsze w programowaniu w logice (logic programming).
Prof. Drabent postara się przedstawić temat wielostronnie: z punktu widzenia wyników i własności matematycznych, a także nieformalnie - jak programista myśli o programach. Ma nadzieję uzasadnić tezę, że w programowaniu w logice programowanie jest istotnie łatwiejsze niż w programowaniu imperatywnym.
Zostaną przedstawione głównie wyniki prac prof. Drabenta. Ciekawe, że zagadnienia te były traktowane po macoszemu przez wiele lat rozwoju teorii programowania w logice.
Seminarium rozpocznie się od krótkiego wprowadzenia "dla każdego" do programowania w logice. Slajdy: wersja do wydruku.