La programmation logique apparue dans les années 70 est reconnue comme un paradigme de programmation simple et déclaratif. La programmation par contraintes s'est beaucoup développée et conjointement à la programmation logique permet d'attaquer efficacement des problèmes pratiques dans des domaines tels que : l'ordonnancement, l'optimisation, les problèmes combinatoires, la simulation de circuit.