Utilisation de la programmation par ensembles réponses (Answer Set Programming) sur de ''petits'' problèmes

Overview & Synopsis

En traduisant en programmation par ensembles réponses deux petites devinettes classiques, nous illustrons la puissance et certaines limites des systèmes actuels. Le problème n'est pas de traduire le problème de la manière la plus efficace. Il s'agit de le traduire d'une façon pas trop ad-hoc, qui tire pleinement profit de l'aspect déclaratif de ce type de programmation. Ces exemples montrent qu'on n'est pas loin de cet objectif affiché de la programmation par ensembles-réponses sur de tels exemples, même s'il reste des progrès à faire pour les systèmes existant. Nous évoquons deux pistes: une meilleure intégration entre l'instantiateur et le solveur, permettant au moins de détecter les cas où le premier suffit, et une recherche d'indexation automatique permettant de diminuer la mémoire nécessaire.