-- вычислительная модель для классической логики, или это потому что "логическое программирование", вроде пролога? (хотя вот сейчас подумал, а связано ли название логического программирования и первого факта?)
нет, с callcc не связаны ни LogicT, ни Пролог
Обсуждают сегодня