La programmation logique par contraintes est un paradigme de programmation qui combine des fonctionnalités de programmation logique et de programmation par contraintes. Comme dans la programmation logique régulière, les programmes sont interrogés sur la prouvabilité d'un objectif, qui peut contenir des contraintes en plus des littéraux.
Comme mon script shell appelle Db2 plusieurs fois avec une instruction SQL ultra longue, j'aimerais extraire les instructions SQL du script et les mettre dans un fichier .sql , puis ...
