xpars.grm

prolog,人工智能推理程序,运行环境prolog

      productions
        EXP = EXP plus EXP              -> plus(EXP,EXP),
              EXP minus EXP             -> minus(EXP,EXP)
              --
              EXP mult EXP              -> mult(EXP,EXP),
              EXP div EXP               -> div(EXP,EXP)
              --
              rightassoc EXP power EXP  -> power(EXP,EXP)
              --
              id(STRING)                -> id(STRING),
              int(INTEGER)              -> int(INTEGER)