B-prolog pour mac

Compilateur PROG pour Darwin.
Télécharger maintenant

B-prolog pour mac Classement & Résumé

Publicité

  • Rating:
  • Prix:
  • Free to try
  • Nom de l'éditeur:
  • By KopecSoft
  • Systèmes d'exploitation:
  • 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 supplémentaires:
  • None
  • Téléchargements totaux:
  • 946

B-prolog pour mac Mots clés


B-prolog pour mac La description

Bienvenue sur B-Prolog, un système de programmation logique de contrainte polyvalente et efficace (CLP)! B-PROGR vous est présenté par Afany Software (New York), KLS (Tokyo) et Nandasoft (Nanjing). La naissance du CLP est une étape importante de 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ée par ordinateur, la base de données, l'exploitation des données, l'ingénierie logicielle, l'optimisation, la configuration, l'interface utilisateur graphique et le traitement de la langue. Cela améliore considérablement la productivité du développement logiciel et de la maintenabilité des logiciels. En outre, en raison de la disponibilité d'une résolution de contraintes efficace, de la gestion de la mémoire et des techniques de compilation, les programmes CLP peuvent être plus efficaces que leurs homologues écrits dans des langues procédurales.


B-prolog pour mac Logiciels associés