Bienvenue à B-Prolog, un système de programmation logique de contrainte polyvalent et efficace (CLP)! B-Prolog est présenté par Afany Software (New York), KLS (Tokyo), et NandaSoft (Nanjing).
La naissance du CLP est un jalon dans l'histoire des langages de programmation. CLP combine deux paradigmes de programmation déclaratifs: programmation logique et de résolution de contraintes. La nature déclarative a prouvé appel dans de nombreuses applications y compris la conception assistée par ordinateur et la vérification, base de données, l'exploration de données, génie logiciel, l'optimisation, la configuration, l'interface utilisateur graphique et le traitement du langage. Il améliore considérablement la productivité de développement de logiciels et la maintenabilité du logiciel. En outre, en raison de la disponibilité de l'efficacité contrainte de problèmes, gestion de la mémoire, et les techniques de compilation, programmes CLP peuvent être plus efficaces que leurs homologues écrits en langages procéduraux.
Ce qui est nouveau dans cette version:
- Support UTF-8.
- Nouveaux built-ins: getpid / 1, bp_current_resource / 1.
- correctifs et améliorations:
Planner
entre / 3.
soustraire / 3.
contrainte
Multiplication
Commentaires non trouvées