Kungliga Tekniska högskolan, Kursbeskrivning, Logikprogrammering, http://www.kth.se/student/kurser/kurs/ID2213