B-prolog un grand compilateur de prologs pour Darwim.
Télécharger maintenant

B-prolog Classement & Résumé

B-prolog Mots clés

développeur Aide au développeur compilateur Prolog programmation logique aide prolog

B-prolog La description

Un grand compilateur de prologs pour Darwim. B-Prolog est un système de programmation logique de contrainte polyvalente et vraiment 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. L'un des objectifs de B-Prolog est d'améliorer la productivité de la maintenabilité et du développement des logiciels. En outre, en raison de la disponibilité de la résolution efficace de la contrainte, 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 de procédure . Quoi de neuf dans cette version: · Contraintes de table. Une table ou une contrainte d'extension est soit positive ou négative. Une contrainte positive prend le formulaire 'x dans R' et une contrainte négative prend la forme 'x notin r' où x est une variables de tuple (x1, ..., xn) ou une liste de tups de variables et R est une table définie comme un ensemble de tuples d'entiers où chaque tuple prend la forme (A1, ..., une). · Soutien des modes de table. Une déclaration de table prend la forme ': -Table P (M1, ..., MN): n.' où p / n est un prédicat, MI est un mode (qui peut être "min", "max", "+", "-" ou "?"), et n est une limite sur le nombre de réponses à être déposé. Si aucune limite n'est donnée, alors il est supposé qu'une seule réponse est déposée. · Itération intégrée: foreach (itérateurs, plats locaux, objectifs) et foresach (itérateurs, plats locaux, accumulateurs, objectif) · Nouvelles contraintes globales: post_neqs / 1 et post_disjunctive_tasks / 1. · Les événements de temps sont traités avec la priorité absolue. · Les contraintes d'égalité binaire sont également spécialisées. · Ajout de contraintes globales: Serialized / 2, affectation / 2 et assignation0 / 2. · "Var en d" et "Var Noter Nan D" peuvent se produire dans des contraintes booléennes. · Le drapeau inconnu fonctionne à nouveau. · Version améliorée de Call_Cleanup / 2. · Une solution de bogue dans le compilateur. · Un correctif de bogue dans l'interface GLPK.

B-prolog Logiciels associés