Programmation basée sur des règles dans laquelle chaque règle est indépendante et l'ordre dans lequel les règles sont déclarés ou exécutés n'est pas significative.