Языком логического программирования является (ввести значение)___________________