F. Derrough Filtering of complex rule conditions Les algorithmes de pattern matching connus sont applicables quand les conditions des règles sont simples, c'est-à-dire quand les conditions des règles sont satisfaites s'il existe au moins un élément de la mémoire de travail avec lequel elles s'unifient. Les opérations élémentaires dans la base de faits valident ou in­ valident immédiatement les instanciations de telles conditions. Ce papier présente le filtrage de conditions complexes. Les con­ ditions complexes sont des formules de la logique des prédicats du premier ordre avec des quantificateurs existentiels et uni­ versels dans n'importe quel ordre. L'ajout et le retrait de faits n'affectent pas directement les conditions complexes. Pour un filtrage efficace de telles conditions, nous avons besoin d'un algorithme adapté à chaque schéma de condition complexe. Nous proposons une méthode qui génère automatiquement ces algorithmes. Currently used match algorithms are applicable to simple condition elements in left-hand sides of rules, i.e. condition elements that are satisfied if there exists at least one matching working memory element. Elementary operations in the working memory immediately validate or invalidate instantiations of such condition elements. This paper presents the filtering of complex condition elements. Complex conditions are first order predicate calculus formulas with universal and existential quantifiers. Adding and removing a working memory element do not immediately affect such conditions. We need a filtering algorithm for each complex condition scheme. Moreover, we propose a method to auto­ matically generate filtering algorithms of such conditions.