| Version | 8.1 |
|---|---|
| Éditeur | KopecSoft |
| Date de sortie | 24 févr. 2014 |
| Date ajoutée | 24 févr. 2014 |
| Exigences OS | Mac OS X 10.9, Mac OS X 10.5, Mac OS X 10.8, Mac OS X 10.6 Intel, Macintosh, Mac OS X 10.4, Mac OS X 10.6, Mac OS X 10.4 Intel, Mac OS X 10.7, Mac OS X 10.5 Intel |
| Exigences | None |
| Total téléchargements | 946 |
| Prix | Free to try |
La description
Bienvenue dans B-Prolog, un système de programmation logique par contraintes (CLP) polyvalent et efficace ! B-Prolog vous est proposé par Afany Software (New York), KLS (Tokyo) et NandaSoft (Nanjing).
La naissance de CLP est une étape importante dans l'histoire des langages de programmation. CLP combine deux paradigmes de programmation déclarative : la programmation logique et la résolution de contraintes. La nature déclarative s'est avérée attrayante dans de nombreuses applications, notamment la conception et la vérification assistées par ordinateur, les bases de données, l'exploration de données, l'ingénierie logicielle, l'optimisation, la configuration, l'interface utilisateur graphique et le traitement du langage. Il améliore considérablement la productivité du développement de logiciels et la maintenabilité des logiciels. De plus, en raison de la disponibilité de techniques efficaces de résolution de contraintes, de gestion de la mémoire et de compilation, les programmes CLP peuvent être plus efficaces que leurs homologues écrits dans des langages procéduraux.