Listing Grammar Rules

In order to look at these translations, declare the grammar rules dynamic and use listing/[0,1]. However, in a grammar rule like head --> body, if the functor of head is foo/n, the dynamic declaration is for foo/n+2. For example, the following declaration for grammar rule (L) would enable you to list its translation, (M):

      :- dynamic(args/4).