A Dynamic Logic-Based Modal Prolog | IEEE Conference Publication | IEEE Xplore