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
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
68
ActiveState ActiveTcl (Linux) 8.6.4.1
Le complet, prêt à installer Tcl.
190
IntelliJ IDEA Community Edition 2018.1.4 Build 181.5087.2
Un programme pratique et simple Spécialement conçu pour les développeurs qui ont besoin pour créer et déboguer des applications web et mobiles.
174
JCppEdit 3.8
Environnement de développement intégré (IDE) pour C, C ++ et Java qui vient avec une grande variété d'outils pratiques et une interface conviviale.
83
Basic4android 8.50
Un utilitaire avancé et fiable qui offre aux utilisateurs un environnement de développement intuitif pour les applications Android
603
Eric IDE 18.10
Une application efficace et fiable conçu pour fonctionner comme un environnement de développement pour vous d'écrire , éditer et Imrpove votre code
177
Graybox OPC Server Toolkit 3.0.28
Boîte à outils de développement de serveur
274
Processing 3.4
Un environnement de programmation conçu pour les utilisateurs qui veulent apprendre les bases de la programmation informatique dans un contexte visuel.
663
Seed7 05_20141019
Nouveau langage de programmation pour votre usage.
280
BBC BASIC 6.11a
Devenez créatif et écrivez les programmes préférés avec cet utilitaire qui offre une mise en œuvre moderne du langage de programmation BBC BASIC
102