Constraint Handling RulesConstraint Handling Rules (CHR) is a declarative, rule-based programming language, introduced in 1991 by Thom Frühwirth at the time with European Computer-Industry Research Centre (ECRC) in Munich, Germany. Originally intended for constraint programming, CHR finds applications in grammar induction, type systems, abductive reasoning, multi-agent systems, natural language processing, compilation, scheduling, spatial-temporal reasoning, testing, and verification.
Fonction de productionEn microéconomie, une fonction de production exprime la relation entre les facteurs de production d'une organisation et la quantité produite. Elle indique, sous forme d'équation ou de sa représentation graphique, ce qu'il est possible de produire à partir de différentes quantités et combinaisons de facteurs de production. En particulier, elle indique la production maximale possible par unité de temps à partir de n'importe quelle combinaison de facteurs de production, étant donné la dotation de facteurs et l'état de la technologie disponible.
