DyALog
DyALog is an environment to compile and run logic programs and natural language tabular parsers for various grammatical formalisms (DCGs, TAGs, TIGs, RCGs). GForge page.

This page is now obsolete. You can take a look at DyALog web page on our new project Alpage web site: http://alpage.inria.fr/dyalog.fr.html