E2 writeup on clausal form (as html/pdf)
Archive of posts filed under the CM20019 category.
Language recognition and generation in Prolog
E2 writeup on language recognition and generation in Prolog (as html/pdf)
Prenex and Skolem normal forms
E2 writeup on Prenex and Skolem normal forms (as html/pdf)
Semantic Tableaux proof method for predicate logic
E2 writeup on semantic tableaux (as html/pdf)
