declarative language | nonprocedural language | non-procedural language | non procedure-oriented language | calculus-based language | predicate calculus language
langage déclaratif | langage non-procédural | langage assertionnel | langage non algorithmique