W
Size: a a a
W
KK
FO
ПК
FO
KK
KK
KK
FO
BB
FO
KK
BB
FO
KK
KK
S
Пролог (англ. Prolog) — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
S