HEX
Server: LiteSpeed
System: Linux php-prod-3.spaceapp.ru 5.15.0-151-generic #161-Ubuntu SMP Tue Jul 22 14:25:40 UTC 2025 x86_64
User: sarli3128 (1010)
PHP: 7.4.33
Disabled: 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,
Upload Files
File: //usr/share/source-highlight/prolog.lang
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:]]*|_'