Also look into ASP for the real mind blowing one. Specially clingo/clasp. Much more powerful than Datalog, can even solve optimization problems without being turing complete.