Abstract FR:

Description de l'implementation d'un interpreteur prolog ii entierement compatible avec l'original de prolog ia. Cet interpreteur utilise la memoire mali, une memoire abstraite dont la semantique est appropriee a l'interpretation des langages logiques qui utilisent une strategie de recherche en profondeur d'abord