Michael A. Driscoll

Learn More
The i n tegration of a functional component i n to a logic language extends the expressive p o wer of the language. One logic language which w ould beneet from such an extension is GG odel, a prototypical language at t he leading edge of the research in logic programming. We present a modiication of the G odel parser which e n ables the parsing o f e v(More)
  • 1