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