feat(prolog,problog)!: drop support

user removed from github
This commit is contained in:
Christian Clason 2026-07-18 22:17:39 +02:00 committed by Christian Clason
parent 1971f839b2
commit ddc93c6793
10 changed files with 0 additions and 95 deletions

View file

@ -1 +0,0 @@
; inherits: prolog

View file

@ -1,4 +0,0 @@
; inherits: prolog
(probability_label
_ @attribute)

View file

@ -1 +0,0 @@
; inherits: prolog

View file

@ -1 +0,0 @@
; inherits: prolog

View file

@ -1,6 +0,0 @@
[
(directive_term)
(clause_term)
(arg_list)
(list_notation)
] @fold

View file

@ -1,43 +0,0 @@
(comment) @comment @spell
(atom) @constant
((atom) @boolean
(#any-of? @boolean "true" "false"))
(functional_notation
function: (atom) @function.call)
(integer) @number
(float_number) @number.float
(directive_head) @operator
(operator_notation
operator: _ @operator)
[
(open)
(open_ct)
(close)
(open_list)
"|"
(close_list)
(open_curly)
(close_curly)
] @punctuation.bracket
[
(arg_list_separator)
(comma)
(end)
(list_notation_separator)
] @punctuation.delimiter
(operator_notation
operator: (semicolon) @punctuation.delimiter)
(double_quoted_list_notation) @string
(variable_term) @variable

View file

@ -1,16 +0,0 @@
(directive_term) @indent.zero
(clause_term) @indent.zero
(functional_notation
(atom)
(open_ct) @indent.begin
(close) @indent.end)
(list_notation
(open_list) @indent.begin
(close_list) @indent.end)
(curly_bracketed_notation
(open_curly) @indent.begin
(close_curly) @indent.end)

View file

@ -1,2 +0,0 @@
((comment) @injection.content
(#set! injection.language "comment"))