Логическое программирование

База фактов

Набор атомарных предложений, считающихся истинными в системе логического программирования, служащих отправной точкой для выводов.

← Назад