5
Existe-t-il des bibliothèques de programmation par contraintes pour PHP? Quelque chose qui serait capable de gérer une situation comme this.Constraint-programmation en PHP
A
Répondre
2
bibliothèques de programmation par contraintes ont tendance à être écrit en C/C++ pour des raisons de vitesse, vous pouvez créer très facilement des problèmes qui sont très coûteux à résoudre. Vos meilleurs paris sont:
- Trouver une bibliothèque C/C++ qui a une enveloppe de PHP existant (Google rapide ne tourne pas quoi que ce soit)
- Créez votre propre wrapper autour de l'une des bibliothèques mentioned here
- Utilisez une « boîte noire » programme externe tel que Minion qui vous interagissez avec les fichiers via la ligne de commande et texte
vous pouvez également prendre le code Python de l'exemple ci-dessus et l'appeler de PHP.
2
prédicat bibliothèque logique du premier ordre se trouve ici: http://www.phpclasses.org/package/1344-PHP-Manipulate-analyze-and-prove-logic-propositions.html
Très similaire à: "Comme j'allais St. Ives, j'ai rencontré un homme avec sept femmes ..." – stillstanding
Mon préféré serait: $ result = popen ("Prolog
symcbean