cse344-2022wi-datalog