iGROM

iGROM is an Integrated Development Environment (IDE) for Answer Set Programs specifically (or, rather, currently) those written in DLV (and its frontends) and Smodels. It is also a framework to write such editors for such languages.

来自:开源中国社区