Add tptp syntax

1 files changed, 152 insertions, 0 deletions

diff --git a/syntax/tptp.vim b/syntax/tptp.vim
new file mode 100644
index 00000000..623ec947
--- /dev/null
+++ b/syntax/tptp.vim
@@ -0,0 +1,152 @@
+if exists('g:polyglot_disabled') && index(g:polyglot_disabled, 'tptp') != -1
+  finish
+endif
+
+" Vim syntax file
+" Language:		TPTP
+" Filename extensions:	*.p (collides with Pascal/Progress),
+" Maintainer:		Simon Cruanes (heavily inspired from progress.vim file)
+" For version 5.x: Clear all syntax items
+" For version 6.x: Quit when a syntax file was already loaded
+if version < 600
+	syntax clear
+"elseif exists("b:current_syntax")
+"	finish
+endif
+
+if version >= 600
+  setlocal iskeyword=@,48-57,_,-,!,#,$,%
+else
+  set iskeyword=@,48-57,_,-,!,#,$,%
+endif
+
+" tabs = evil
+set expandtab
+
+syn case match
+
+syn keyword     tptpRole        axiom hypothesis definition assumption lemma theorem corollary conjecture negated_conjecture plain fi_domain fi_functors fi_predicates type unknown
+syn keyword     tptpLogic       fof tff thf cnf include
+
+syn match       tptpBuiltin     "$o\>"
+syn match       tptpBuiltin     "$i\>"
+syn match       tptpBuiltin     "$true\>"
+syn match       tptpBuiltin     "$false\>"
+
+syn match       tptpBuiltin     "$int\>"
+syn match       tptpBuiltin     "$rat\>"
+syn match       tptpBuiltin     "$real\>"
+syn match       tptpBuiltin     "$tType\>"
+syn match       tptpBuiltin     "$_\>"
+
+syn match       tptpBuiltin     "$floor"
+syn match       tptpBuiltin     "$ceiling"
+syn match       tptpBuiltin     "$truncate"
+syn match       tptpBuiltin     "$round"
+syn match       tptpBuiltin     "$prec"
+syn match       tptpBuiltin     "$succ"
+syn match       tptpBuiltin     "$sum"
+syn match       tptpBuiltin     "$difference"
+syn match       tptpBuiltin     "$uminus"
+syn match       tptpBuiltin     "$product"
+syn match       tptpBuiltin     "$quotient"
+syn match       tptpBuiltin     "$quotient_e"
+syn match       tptpBuiltin     "$quotient_t"
+syn match       tptpBuiltin     "$quotient_f"
+syn match       tptpBuiltin     "$remainder_e"
+syn match       tptpBuiltin     "$remainder_t"
+syn match       tptpBuiltin     "$remainder_f"
+syn match       tptpBuiltin     "$is_int"
+syn match       tptpBuiltin     "$is_rat"
+syn match       tptpBuiltin     "$to_int"
+syn match       tptpBuiltin     "$to_rat"
+syn match       tptpBuiltin     "$less"
+syn match       tptpBuiltin     "$lesseq"
+syn match       tptpBuiltin     "$greater"
+syn match       tptpBuiltin     "$greatereq"
+
+" generic dollar
+syn match       tptpDollar      "\<\$\w+\>"
+syn match       tptpDollarDollar "\<\$\$\w+\>"
+
+syn match       tptpQuote       "'[^']*'"
+syn match       tptpDoubleQuote "\"[^"]*\""
+
+syn match       tptpConnective  ":"
+syn match       tptpConnective  "|"
+syn match       tptpConnective  "&"
+syn match       tptpConnective  "="
+syn match       tptpConnective  "=>"
+syn match       tptpConnective  "<="
+syn match       tptpConnective  "<=>"
+syn match       tptpConnective  "<\~>"
+syn match       tptpConnective  "!"
+syn match       tptpConnective  "?"
+syn match       tptpConnective  "!>"
+syn match       tptpConnective  "!="
+syn match       tptpConnective  "\~"
+syn match       tptpConnective  "\."
+syn match       tptpConnective  "\*"
+syn match       tptpConnective  ">"
+
+syn match       tptpVar         "\<\u\w*\>"
+
+syn match       tptpNum         "\<-\?[0-9]\+\>"
+syn match       tptpNum         "\<-\?[0-9]\+/[0-9]\+\>"
+
+" errors
+
+"syn match       tptpBraceError  "\]"
+"syn match       tptpParenError  ")"
+
+" delimiters
+
+syn region      tptpParen       matchgroup=tptpDelim start="("  end=")" contains=ALLBUT,tptpParenError keepend contained
+syn region      tptpParen       matchgroup=tptpDelim start="\[" end="\]" contains=ALLBUT,tptpBraceError keepend contained
+
+syn keyword	tptpTodo	contained TODO BUG FIX FIXME NOTE
+
+syn region      tptpComment	start=+/\*+ end=+\*/+ contains=tptpTodo
+syn match       tptpComment     +%.*+ contains=tptpTodo
+
+" Define the default highlighting.
+" For version 5.7 and earlier: only when not done already
+" For version 5.8 and later: only when an item doesn't have highlighting yet
+if version >= 508 || !exists("did_tptp_syntax_inits")
+  if version < 508
+    let did_tptp_syntax_inits = 1
+    command -nargs=+ HiLink hi link <args>
+  else
+    command -nargs=+ HiLink hi def link <args>
+  endif
+
+  HiLink tptpTodo               Todo
+
+  HiLink tptpComment		Comment
+  HiLink tptpComment		Comment
+
+  HiLink tptpRole               Keyword
+  HiLink tptpLogic              Keyword
+  HiLink tptpConnective         Keyword
+  HiLink tptpDelim              Delimiter
+
+  HiLink tptpBuiltin            Special
+
+  HiLink tptpDollar             String
+  HiLink tptpDollarDollar       String
+  HiLink tptpQuote              String
+  HiLink tptpDoubleQuote        String
+
+  HiLink tptpVar                Constant
+
+  HiLink tptpNum                Number
+
+  HiLink tptpBraceError         Error
+  HiLink tptpParenError         Error
+
+  delcommand HiLink
+end
+
+let b:current_syntax = "tptp"
+
+" vim: ts=8 sw=8