1 févr. 1972 - Пролог
Description:
язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Ajouté au bande de temps:
Date:
Les images: