An abstract Prolog machine

Presentation d'un modele de machine abstraite Prolog. Des debits concernant son implementation sont donnes