An Emacs major mode for IDP (http://dtai.cs.kuleuven.be/krr/software/idp). For now, kind of minimal.