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