Commit Graph

4 Commits

Author SHA1 Message Date
635a4fc1a5 Add LAAI2 Prolog 2023-12-05 20:43:30 +01:00
0a7c8033e1 Add LAAI2 logic programming 2023-12-01 20:53:44 +01:00
0dff0b4d7f Add FAIKR2 propositional and first order logic 2023-11-10 15:20:16 +01:00
fdf7065237 Add LAAI2 propositional logic 2023-11-09 21:03:15 +01:00