Otter.vim is a project mainly written in Vim Script, it's free.
Otter theorem prover input file highlighter
This is a mirror of http://www.vim.org/scripts/script.php?script_id=3054
Highlight input files for the Otter theorem prover. ( http://www.mcs.anl.gov/research/projects/AR/otter/ )