Worldlex Wiki En 1983, David HD Warren a conçu une machine abstraite pour l'exécution de Prolog composée d'une architecture de mémoire et d'un jeu d'instructions . Cette conception est devenue connue sous le nom de Warren Abstract Machine ( WAM ) et est devenue la cible standard de facto pour les compilateurs Prolog .
l'optimisation des appels terminaux et la récupération de mémoire en cas d'échec.Zones de mémoire
Le WAM possède les zones de mémoire suivantes :
- La pile ou le tas global , utilisé pour stocker les termes composés
- La pile locale pour les cadres d'environnement et les points de choix
- La trace permettant d'enregistrer quelles liaisons de variables doivent être annulées lors du retour en arrière
Exemple
Voici un extrait de code Prolog :
terme de base ou un terme partiellement instancié. Les instructions « switch » gèrent ces différents cas.
Plus d articles de Worldlex Wiki
Revenez a l index pour explorer davantage de pages sur l histoire, la science, la culture, la geographie et la societe en francais.
Explorer l index