What about a syntax highlight for prolog, which is a powerful program language for logic, with simple grammar.
Mysh
