exmaple program for slog language, mainly case form souffle's test folder
slog do not support some of language feature in souffle for example "not" so, just some of exmaple can be written in slog for now, and some require not I may just leave one side up.
- 2sat (need not)
- akerman
- amicable(need sum)
- anderson
- lambda calculus
- circuit evaluation
- clique