1 jan 1972 ano - Prolog

Descrição:

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

Adicionado na linha do tempo:

Data: