ELPS: epistemic logic programs with sorts