The paper deals with the interpretation of a programming language, based on the Generalized AND/OR Graphs formalism. A program in the language is a set of productions. Program execution is performed by searching a solution of the corresponding Generalized AND/OR graph.