We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Prolog programs
Cet outil effectue un certain nombre de tâches de débogage, d'analyse et de transformation source-à-source sur les programmes Prolog.
This tool performs a number of program debugging, analysis and source-to-source transformation tasks on Prolog programs.
Ainsi, les deux programmes ci-dessus ne forment pas des programmes Prolog raisonnables puisque leur résolution du SLDNF ne termine pas.
For instance, the two programs above are not reasonable as Prolog programs - SLDNF resolution does not terminate on them.
Nous exposons nos résultats expérimentaux sur la vérification de type des bibliothèques de Sicstus Prolog et de quelques autres programmes Prolog.
We report our experimental results on type checking the libraries of Sicstus Prolog and other Prolog programs.
Chaque noeud peut être conçu de manière à ce que la collecte de mémoire utilisée non voulue soit effectuée par un des processeurs séquentiels tandis qu'un autre processeur séquentiel continue à exécuter les programmes PROLOG, permettant ainsi un fonctionnement continu en temps réel.
Each node can be arranged such that the collection of unwanted used memory is carried out by one SPP while another SPP continues to run Prolog programs enabling continuous real-time operation.
Ce modèle exploite automatiquement le parallélisme OU inhérent à la sémantique des programmes Prolog "pur" sur des architectures sans mémoire commune.
The PLoSys computational model exploits implicit or-parallelism of a "pure" Prolog programs following a multisequential approach on a scalable distributed memory architecture.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
