Hello!

Inspiré(e) de prendre part à la discussion ? Ou de poser une question ou demander de l’aide ?

Alors bienvenues dans les grands sujets des forums de La Bulle : m’inscrire.

Cette partie du forum n’est pas compatible avec les bloqueurs publicitaires

Félicitations à vous, de préférer les accès payants plutôt que la gratuité par la publicité, c’est honnorable et cohérent de votre part. Malheureusement, l’accès payant par micropaiement (qui serait d’environ 1 cent pour 20 pages consultées) n’est pour l’instant pas encore mis en place, et l’accès gratuit sans publicité, est réservé aux membres actif(ve)s du forum. En attendant, si vous souhaitez poursuivre votre visite chez nous, vous pouvez ajouter le site à votre liste blanche, ou encore mieux, désactiver le bloqueur partout. Pour ajouter le site à votre liste blanche, pour Firefox (similaire pour les autres navigateurs), rendez‑vous en bas à gauche de la fenêtre de votre navigateur, et cliquez sur le menu comme dans l’exemple de l’image ci‑dessous, puis rechargez la page, en appuyant sur F5.

Programmation par contrainte (Constraint Programming)
Auteur Message
Administrateur
Avatar de l’utilisateur
  • Genre : Télétubbie
  • Messages : 22161
Mar 26 Nov 2013 00:07
Message Programmation par contrainte (Constraint Programming)
La programmation par contrainte, est une manière de décrire un programme par une spécification plutôt que par une implémentation. L’implémentation n’existe pas toujours explicitement, et les contraintes peuvent être résolues automatiquement par un solveur, qui peut être un logiciel ou une librairie logicielle spécialisée.

Cet notion de l’informatique fondamentale, existe depuis les années 1980 environ, et a connu en pratique, principalement des solveurs en Prolog.

Il existe un site ou un blog dédié à la standardisation de cette approche du logiciel. Cette standardisation a été souhaitée, car bien que étant une approche pertinente et ayant beaucoup à apporter à l’informatique, la programmation par contrainte n’a jamais percé dans l’industrie ou chez les éditeurs de logiciels. Comme souvent, c’est l’absence de standard qui en fut la cause, et c’est à cela que souhaite remédier cette initiative déjà bien avancée.


Le second lien redirige vers le premier, mais il est donné tout‑de‑même, parce que plus canonique. Il est possible que dans le futur, ce site ne soit plus sous Wordpress, et qu’il faille se référer au second lien plutôt qu’au premier.

Un aboutissement important de ce projet de standardisation, est la standardisation d’une API Java pour la programmation par contrainte. Ce standard se nomme JSR331.


Une API Java souffre probablement des défauts de Java, c’est à dire au moins comparé à Ada, l’impossibilité de donner des spécifications précises aux types numériques, ce qui est sûrement une lacune importante dans le domaine de la résolution de contraintes numériques. Mais je ne connais pas d’autre standard pour la programmation par contrainte, autre que cette API Java, pour l’instant.

Je ne connais pas de format de fichier ou de langage pour l’écriture des spécifications de contraintes, pour l’instant.

Image
Hibou57

« La perversion de la cité commence par la fraude des mots » [Platon]
Profil Site Internet
cron