1 gen 1972 anni - Prolog

Descrizione:

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

Aggiunto al nastro di tempo:

Data: