Grail: Natural Language Analysis with Multimodal Categorial Grammar
Participants : Richard Moot [ correspondent ] , Natalia Vinogradova.
Grail is a modern, flexible and robust parser/automated theorem prover for multimodal categorial grammars (MMCG  ) developed by Richard Moot. It is designed to allow students and researchers to design and experiment with their grammars while at the same time offer the advanced users many optional optimisation strategies.
Grail can be run either as a command line script or as an application with a graphical interface, with the possibility to follow Grail's partial parses/proof attempts interactively. It is freely available from http://www.labri.fr/perso/moot/grail3.html .