File : interpreteur_prolog.ads

   1 -- Fichier INTERPRE.ADS
   2 -- Spécifications du package de l'interpréteur PROLOG.
   3 -- Algorithmes extraits de "L'ANATOMIE DE PROLOG" par Michel Van Caneghem.
   4 
   5 
   6 ----------------------------------------------------------------------------------------------------------------------------------
   7 
   8 
   9 package Interpreteur_Prolog is
  10 
  11    ---------------------------------------------
  12    -- Les exceptions susceptibles d'etre levées.
  13    ---------------------------------------------
  14    Pile_Subst_Pleine : exception;
  15    Pile_Sauve_Pleine : exception;
  16    Pile_Nomvar_Pleine: exception;
  17    Pile_Eq_Pleine    : exception;
  18    Pile_Etape_Pleine : exception;
  19    Pile_Choix_Pleine : exception;
  20    Pile_Ren_Pleine   : exception;
  21 
  22    procedure Driver_Prolog;
  23 
  24 
  25 end Interpreteur_Prolog