jan 1, 1972 - Прогог

Description:

Этот язык программирования разрабатывался для задач анализа и понимания естественных языков на основе языка формальной логики и методов автоматического доказательства теорем.

Added to timeline:

Date: