Prolog

2019

• Talks бэкенд на prolog (50 комментариев)
• Talks GNU prolog обновился до версии 1.4.5 (22 комментария)

2017

• Desktop Почему swi-prolog замусоривает корень? (11 комментариев)
• Talks Что общего у ООП и логического программирования (37 комментариев)

2015

• Job 3 лабы на лиспе и 3 на прологе (48 комментариев)

2014

• Development Maude system (6 комментариев)
• Development Простая задачка по прологу (24 комментария)
• Development Покритикуйте код, кому не лень. (20 комментариев)
• Development лиха беда начало (25 комментариев)
• Development Теорема о 4 красках (24 комментария)

2013

• Development Вышел SWI-Prolog 7.1.0 (25 комментариев)
• Development Cascadia Ruby Conf 2012 A Taste of Prolog by Aja Hammerly (5 комментариев)
• General Автоматическая проверка выводимости высказывания в заданной формальной теории (3 комментария)
• Development Prolog, consult не грузит правила (13 комментариев)

2012

• Development пролог в лиспе (30 комментариев)
• Talks Prolog на Буране (47 комментариев)

2011

• Development [prolog] Что выбрать для лаб? (25 комментариев)
• Development [prolog] сохранение/загрузка правил (16 комментариев)
• Development [prolog]кто использует? (4 комментария)

2010

• Development [prolog] Есть ли жизнь на Марсе? %) (29 комментариев)

2014

• Релиз SWI-Prolog 7.1.13 (33 комментария)
• Mercury 14.01 (59 комментариев)

2011

• Релиз GNU Prolog 1.4.0 (42 комментария)