Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Télécharger
Accès plus rapide que le navigateur!
 

Warren's Abstract Machine

Indice Warren's Abstract Machine

La Warren's Abstract Machine (Machine abstraite de Warren) est une machine virtuelle permettant d'implémenter le langage Prolog.

10 relations: Code source, David H. D. Warren, Jeu d'instructions, Machine virtuelle, Mémoire (informatique), Pile (informatique), Prolog, Tas (informatique), Unification, 1983.

Code source

fr.

Nouveau!!: Warren's Abstract Machine et Code source · Voir plus »

David H. D. Warren

David H.D. Warren est un spécialiste de l'intelligence artificielle.

Nouveau!!: Warren's Abstract Machine et David H. D. Warren · Voir plus »

Jeu d'instructions

Le jeu d'instructions est l'ensemble des instructions-machine qu'un processeur d'ordinateur peut exécuter.

Nouveau!!: Warren's Abstract Machine et Jeu d'instructions · Voir plus »

Machine virtuelle

Palm. En informatique, une machine virtuelle (anglais virtual machine, abr. VM) est d'un appareil informatique créée par un logiciel d'émulation ou instanciée sur un hyperviseur.

Nouveau!!: Warren's Abstract Machine et Machine virtuelle · Voir plus »

Mémoire (informatique)

En informatique, la mémoire est un dispositif électronique numérique qui sert à stocker des données.

Nouveau!!: Warren's Abstract Machine et Mémoire (informatique) · Voir plus »

Pile (informatique)

En informatique, une pile (en anglais stack) est une structure de données fondée sur le principe « dernier arrivé, premier sorti » (en anglais LIFO pour last in, first out), ce qui veut dire qu'en général, le dernier élément ajouté à la pile est le premier à en sortir.

Nouveau!!: Warren's Abstract Machine et Pile (informatique) · Voir plus »

Prolog

Prolog est un langage de programmation logique.

Nouveau!!: Warren's Abstract Machine et Prolog · Voir plus »

Tas (informatique)

Un exemple de tas. Il contient 9 éléments. L'élément le plus prioritaire (100) est à la racine. En informatique, un tas (ou monceau au Canada, heap en anglais) est une structure de données de type arbre qui permet de retrouver directement l'élément que l'on veut traiter en priorité.

Nouveau!!: Warren's Abstract Machine et Tas (informatique) · Voir plus »

Unification

Unifier deux termes, c'est les rendre identiques en remplaçant les variables. En informatique et en logique, l'unification est un processus algorithmique qui, étant donnés deux termes, trouve une substitution qui appliquée aux deux termes les rend identiques.

Nouveau!!: Warren's Abstract Machine et Unification · Voir plus »

1983

L'année 1983 est une année commune qui commence un samedi.

Nouveau!!: Warren's Abstract Machine et 1983 · Voir plus »

Redirections ici:

Machine abstraite de Warren, Warren Abstract Machine.

SortantEntrants
Hey! Nous sommes sur Facebook maintenant! »