I have extensive experience with DCGs and Prolog, and a good scholastic background on languages implementation, so I feel I could help you with your project.
But I didn't understood completely the document, seems incomplete. so you should be prepared to further explain to me.