Logo
Unionpédia
Communication
Disponible sur Google Play
Nouveau! Téléchargez Unionpédia sur votre appareil Android™!
Gratuit
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

Le code source est un texte qui représente les instructions de programme telles qu'elles ont été écrites par un programmeur.

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 machines 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 une illusion d'un appareil informatique créée par un logiciel d'émulation.

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

Mémoire (informatique)

Mémoire vive pour ordinateur VAX 8600 (1986). En informatique, la mémoire est un dispositif électronique qui sert à stocker des informations (stockage de données).

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

Pile (informatique)

Une pile est gérée en ''last in, first out''. 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, sera 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 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

1983 est une année commune commençant 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! »