Answer set programming
L'answer set programming est une forme de programmation déclarative orientée vers les problèmes de recherche difficiles.
Il est basé sur la sémantique de la programmation logique du modèle stable (ensemble de réponses) . En answer set programming, les problèmes de recherche sont réduits au calcul de modèles stables, et les résolveurs d’ensembles de réponses (programmes permettant de générer des modèles stables) sont utilisés pour effectuer une recherche approfondie . Le processus de calcul utilisé dans la conception de nombreux résolveurs d'ensembles de réponses est une amélioration de l’algorithme DPLL et, en principe, il se termine toujours (contrairement à l’évaluation de requête Prolog, qui peut conduire à une boucle infinie).
De manière plus générale, l'answer set programming inclut toutes les applications des ensembles de réponses à la représentation des connaissances et l'utilisation de l'évaluation de requêtes de type Prolog pour résoudre les problèmes survenant dans ces applications.