|
Server : LiteSpeed System : Linux srv104790275 5.15.0-161-generic #171-Ubuntu SMP Sat Oct 11 08:17:01 UTC 2025 x86_64 User : dewac4139 ( 1077) PHP Version : 8.0.30 Disable Function : pcntl_alarm,pcntl_fork,pcntl_waitpid,pcntl_wait,pcntl_wifexited,pcntl_wifstopped,pcntl_wifsignaled,pcntl_wifcontinued,pcntl_wexitstatus,pcntl_wtermsig,pcntl_wstopsig,pcntl_signal,pcntl_signal_get_handler,pcntl_signal_dispatch,pcntl_get_last_error,pcntl_strerror,pcntl_sigprocmask,pcntl_sigwaitinfo,pcntl_sigtimedwait,pcntl_exec,pcntl_getpriority,pcntl_setpriority,pcntl_async_signals,pcntl_unshare, Directory : /proc/thread-self/root/usr/share/source-highlight/ |
Upload File : |
preproc = "bgidriver|bgifont|check_determ|code|config|diagnostics|error|errorlevel|heap|gstacksize|nobreak|nowarnings|printermenu|project"
comment start "%"
include "number.lang"
string delim "\"" "\"" escape "\\"
string delim "'" "'" escape "\\"
keyword = "abstract|align|as|and|class|clauses|constants|database|determ",
"domains|elsedef|endclass|enddef|erroneous|facts|failure|global",
"goal|if|ifdef|ifndef|implement|include|language|multi|nocopy",
"nondeterm|object|or|procedure|protected|predicates|reference",
"single|static|struct|this",
"ABSTRACT|ALIGN|AS|AND|CLASS|CLAUSES|CONSTANTS|DATABASE|DETERM",
"DOMAINS|ELSEDEF|ENDCLASS|ENDDEF|ERRONEOUS|FACTS|FAILURE|GLOBAL",
"GOAL|IF|IFDEF|IFNDEF|IMPLEMENT|INCLUDE|LANGUAGE|MULTI|NOCOPY",
"NONDETERM|OBJECT|OR|PROCEDURE|PROTECTED|PREDICATES|REFERENCE",
"SINGLE|STATIC|STRUCT|THIS",
"assert|asserta|assertz|bound|chain_inserta|chain_insertafter",
"chain_insertz|chain_terms|consult|db_btrees|db_chains|fail",
"findall|format|free|msgrecv|msgsend|nl|not|readterm|ref_term|retract",
"retractall|save|term_bin|term_replace|term_str|trap|write|writef",
"mod|div|abs|exp|ln|log|sqrt|round|trunc|val|cos|sin|tan|arctan",
"random|randominit"
comment delim "/*" "*/" multiline nested
type = "char|real|string|symbol|byte|sbyte|short|ushort|word|integer|unsigned|dword|long|ulong|binary|ref"
include "symbols.lang"
cbracket = "{|}"
include "function.lang"
variable = '[[:upper:]][[:word:]]*|_'