Логическое программирование, где программа это набор логических правил и фактов. Подходит для Prolog, дедуктивных баз данных и логического вывода.


6 публикаций

Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.

К ВОПРОСУ О ЛОГИЧЕСКИХ СЛЕДСТВИЯХ В РАССЛЕДОВАНИИ ПРЕСТУПЛЕНИЙ
СРАВНЕНИЕ ФУНКЦИОНАЛЬНОГО И ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ
О дуальности логических систем: паралогики
ВОЗМОЖНОСТИ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ НА ЯЗЫКЕ PROLOG
ЛОГИЧЕСКИЕ ИДЕИ АКОША ПАУЛЕРА
ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ УСТРОЙСТВА В СИСТЕМАХ ЭНЕРГОСНАБЖЕНИЯ