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).