LINUX.ORG.RU

Re: Haskell или OCaml


0

0

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

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

Re: Re: Haskell или OCaml

OCaml

anonymous ()

Re: Re: Haskell или OCaml

Haskell

imp ★★ ()

Re: Re: Haskell или OCaml

php... :D

Не.. реально чел OCaml или Haskell? ИМХО дело вкуса. )

Waterlaz ★★★★★ ()

Re: Re: Haskell или OCaml

> У нас в НИИ есть некоторые наработки по этой теме, есть несколько вариантов пруверов (доказателей теорем), созданных на С, С++ и Standard ML(SML)

Использование SML как бы намекает нам на то, что правильнее будет использовать язык семейства ML.

tailgunner ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.