propositional logic
first-order logic
datalog
logic programming
roadmap
about
to see how logic works
