Index of /courses/cs/344/kvlinden/12propositional/code/

../
kb1.pl                                             08-Jan-2019 21:11                 139
kb2.pl                                             08-Jan-2019 21:11                 247
kb3.pl                                             08-Jan-2019 21:11                 295
kb4.pl                                             08-Jan-2019 21:11                 224
kb5.pl                                             08-Jan-2019 21:11                 220
potter.pl                                          08-Jan-2019 21:11                 839