SoleLogics (julia): Computational logic in Julia!
Keywords: modal-logic|logic|symbolic-learning