SKIL
Сегодня на одном из собеседований вспомнил, что сюда не списал еще один интересный язык: SKIL (Synthesizing Knowledge in Intuitionistic Logic).
Кстати – весьма занятная и приятна вещица. 
2 Comments
Извините, комментирование в настоящий момент запрещено.
Жаль что не на русском ссылочка
А есть перевод, мне так “чисто поржать “