They include logic programming languages such as Prolog as a special case.
لغات  البرمجة المنطقية مثل Prolog.