Englisch ⇄ Chinesisch Deutsch Dänisch Finnisch Französisch Griechisch Italienisch Niederländisch Russisch Schwedisch Spanisch +

predicate calculus language
IT	langage assertionnel; langage de type calcul; langage non procédural