Положение, которое может быть выведено из основных положений логики 7 букв
(язык программирования) язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка 6 букв
Термин, означающий положение, при котором якорь не отделился от грунта, обеспечивая лазцу стабильное положение. 9 букв