Posté par thoasm .
En réponse au journal Chat80.
Évalué à 3.
Pour la petite histoire, Stallman a écris un article de recherche intitulé Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis.
Donc rien d'étonnant dans ce que tu dis :)
Sinon, tu peux probablement exprimer ton problème dans un langage de programmation par contrainte, et le résoudre sans doute plus rapidement qu'en prolog "de base" ...
[^] # Re: Utilité
Posté par thoasm . En réponse au journal Chat80. Évalué à 3.
Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis.
Donc rien d'étonnant dans ce que tu dis :)
Sinon, tu peux probablement exprimer ton problème dans un langage de programmation par contrainte, et le résoudre sans doute plus rapidement qu'en prolog "de base" ...