A TextMate theme (.tmLanguage) for Datalog (in particular, DES)