"Стоит задача ИССЛЕДОВАТЕЛЬСКОГО (т.е не промышленнго) характера - разработка интерпретатора логического языка наподобие PROLOG'a, но работающего в исчислении позитивно-образованной логики (впрочем, тонкости - несущественны). У нас в НИИ есть некоторые наработки по этой теме, есть несколько вариантов пруверов (доказателей теорем), созданных на С, С++ и Standard ML(SML). С С и С++ связываться не очень хочется, т.к. не будет особой новизны и интереса."

Вопрос к htower, прочитал твоё сообщение от (13.11.2006 15:50:29), если у тебя есть возможность хотел поговорить по поводу вашей разработки "интерпретатора логического языка наподобие PROLOG'a, но работающего в исчислении позитивно-образованной логики", очень надо, если можешь напиши в асю номер 400338204. заранее спасибо.