Is this similar to Datalog where you have facts and rules?
Yes, and few other useful concepts beyond just Datalog.
Yes, and few other useful concepts beyond just Datalog.