Dans cet article nous présentons la machine abstraite KGRAM et son langage GRAAL pour l'interrogation de graphes de connaissances. KGRAM et GRAAL sont le résultat d'un travail d'abstraction que nous avons mené afin de proposer une solution générique au problème de l'interrogation de graphes de connaissances de différents modèles. Ce faisant, nous avons identifié des primitives abstraites de haut niveau permettant de répondre à ce problème; elles constituent les expressions du langage GRAAL et les interfaces que manipule KGRAM pour ses structures de données et ses opérations de graphes. Nous décrivons la syntaxe abstraite de GRAAL et sa sémantique opérationnelle en Sémantique Naturelle et nous définissons KGRAM comme l'interprète de GRAAL, c'est-à-dire l'implémentation des règles de sémantique naturelle de GRAAL.