rising_sun: architecture of Datalog programming

[lhaze]

• [x] use pyDatalog to use programming in logic in models
• [x] narrow down pyDatalogMixin feature of "every attribute is a term" strategy
• [ ] example of programming in logic