Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System