1 янв 1972 г. - Прогог

Описание:

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

Добавлено на ленту времени:

Дата: