Инструменты

Инструменты для программирования

• Пролог
• Delphi
• C#
• Cω
• Язык программирования D
  Язык Д

Programming Languages, Logics, and Semantics

http://www.cs.cmu.edu/research/projects/

• ConCert: Certified Code for Grid Computing The ConCert Project investigates the theoretical and engineering basis for the trustless dissemination of software in an untrusted environment.

Пролог

Система логического программирования Архив

• Дистрибутив Пролога-Д для Windows (2 сентября 2001) 671 Kb
• Дистрибутив Пролога-Д для ДОС (18 апреля 2002) 164 Kb
• Методические материалы по Прологу-Д (22 августа 2001) 172 Kb
• Дистрибутив этого сайта для установки в школьной интранет-системе (21 ноября 2002) 105 Kb
• Автореферат диссертации автора... (26 ноября 2001) 52 Kb
• Диссертация автора о методике построения образовательного сайта на данном примере (16 декабря 2001) 294 Kb
• Краткий курс на основе Турбо-Пролога Автор неизвестен, найдено Яндексом на сайте кафедры ИИС и ФЭ ПетрГУ (8 декабря 2004) 90

• Источник: http://www.mig19.schel.ac.ru/prolog/archive/archive.html