SWI-Prolog 7.6.4

SWI-Prolog - Un outil basé sur une machine très simple Prolog virtuel appelé postal qui définit sept instructions.

Un outil basé sur une machine très simple Prolog virtuel appelé postal qui définit sept instructions.

Prolog peut être facilement compilé dans cette langue et le code de la machine abstraite est facilement décompilé retour en Prolog. Comme il est également possible de câbler un débogueur 4 ports standard dans la machine virtuelle il n'est pas nécessaire de faire une distinction entre le code compilé et interprété.

Outre la simplification de la conception du système Prolog se cette approche présente des avantages pour le développement du programme: le compilateur est simple et rapide, l'utilisateur n'a pas à décider à l'avance si le débogage est nécessaire et le système ne fonctionne que légèrement plus lente en mode de débogage.

Le prix que nous devons payer une certaine dégradation des performances (en prenant le débogueur de l'interprète VM améliore les performances d'environ 20%) et de la mémoire un peu plus pour aider le decompiler et débogueur.

SWI-Prolog a la possibilité d'étendre l'ensemble minimal des instructions en vue d'améliorer la performance.

Alors que l'extension de cette série a pris soin de maintenir les avantages de la décompilation et le traçage de code compilé.

Les extensions comprennent des instructions spécialisées pour l'unification, l'appel prédicat, certains prédicats prédéfinis fréquemment utilisés, l'arithmétique et le contrôle (;/ 2, | / 2), si-alors (-> / 2) et la négation par l'échec (\ + / 1).

SWI-Prolog Details

Autres téléchargements associés
Graybox OPC Server Toolkit 3.0.28
Boîte à outils de développement de serveur
229
Logtalk 3.18.0
langage de programmation logique
125
CodeFluent Entities 2015 1.0.61214.805
Générer des fondations solides comme le roc pour vos applications. NET.
283
Open Watcom 1.9
Professionnel, l'optimisation multi-plate-forme C et le compilateur C de avec une suite complète d'outils de développement.
167
Objetta 3.18
Un environnement de développement intégré, vous pouvez utiliser pour effectuer des calculs d'ingénierie, avec l'aide du langage Pascal embarqué et des méthodes sur mesure
59
Basic4android 8.30
Un utilitaire avancé et fiable qui offre aux utilisateurs un environnement de développement intuitif pour les applications Android
548
EiffelStudio 15.12.9.8308
Un environnement interactif de développement pour le langage de programmation Eiffel
129
Understand 5.0 Build 940
Recevez votre code à fond pour les erreurs analysées avec Cette puissante application avec le support de différents langages de programmation et de multiples outils d'édition.
289
DEV-C++ 5.11
Un complet d'IDE pour C / C + +
1,442
Python 3.7.0
Un puissant langage de programmation dynamique
1,807