PASOCS is a solver for probabilistic logic programs (PLP) interpreted under the Credal semantics. Under these semantics, the logic program need not be stratified: they can accept multiple worlds (called answer sets).

Description Here

ILASP (Inductive Learning of Answer Set Programs) is a logic-based learning system capable of learning normal rules, disjunctive rules, choice rules, constraints and weak constraints in ASP (Answer Set Programming).