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

Логическое программирование - программирование в терминах фактов и правил вывода, с использованием языка, основанного на формальных исчислениях.

Новости

Метод Корнелла: как и где использовать?

Двадцать семь таинственных и интересных мест Подмосковья

Пять отличных московских кулианарий

Семь лучших китайских ресторанов Москвы

Коммунисты поймали Грудинина на «левых» миллионах

Историки коммунизма: Грудинин не "красный", он раскалывает коммунистическое движение

Кагарлицкий: перебежчик Грудинин - часть капиталистической системы

Что теперь будет: почему и как Space X утопила спутник Zuma