Prolog
Extension of
Modal Logic Programming (6839)