tabsem Method of analytic tableaux for the first order logic. Didactic materials for my courses: Programming in Prolog Declarative Programming Programming in Logic