Constraint-programmation en PHP

2010-11-22 8 views 5 likes

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

Source

2010-11-22 Eric Pruitt

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

Répondre

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.

Source

2010-11-23 11:27:31 Chris

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

Source

2010-11-22 18:28:21 stillstanding

Questions connexes

1. php ereg_replace en php 5.3
2. '"en PHP
3. en php
4. Logiques entre php mail(), sendmail(), en utilisant SMTP en php
5. Mise en cache PHP (HTML + PHP)
6. PHP preg_filter() substitue en PHP <5.3?
7. error_reporting en PHP 4 et PHP 5
8. Chaînes PHP PHP se mettre en?
9. pluralize en PHP
10. constants class en php
11. pamentgateway en php
12. Images en PHP
13. tableau pop en php
14. Utiliser ereg_replace en PHP?
15. Response.End en PHP
16. échapper en php
17. Format GPS en PHP
18. redirection d'URL en PHP
19. Crystal Report en php
20. le code ":" en php
21. Utiliser gettext en PHP
22. updatin xml en php
23. Url.Content() équivalent en php?
24. Intégrer PHP en XML
25. tableau global en php
26. Exécuter Cufon en PHP
27. définissent constante en php
28. Type décimal en php
29. = & opérateur en PHP
30. foreach problème en PHP