אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית סינית ספרדית פינית צרפתית רוסית שוודית +

predicate calculus language
.טכנול	langage assertionnel; langage de type calcul; langage non procédural