1 фев 1972 г. - Пролог

Описание:

язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.

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

Дата:

Изображения: