Logic programming

[joydo]

In the next one month:

• https://github.com/cmu-sei/pharos/blob/master/tools/ooanalyzer/ooanalyzer.pod
• https://hexgolems.com/2020/10/getting-started-with-ddlog/