plugins/geshi/geshi/prolog.php
author Dan
Fri, 29 May 2009 19:40:15 -0400
changeset 3 f3e2bbbd2155
parent 2 9e3258dfae15
permissions -rw-r--r--
Updated to latest GeSHi, 1.0.8.4, released May 23, 2009.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
     1
<?php
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
     2
/*************************************************************************************
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
     3
 * prolog.php
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
     4
 * --------
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
     5
 * Author: Benny Baumann (BenBE@geshi.org)
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
     6
 * Copyright: (c) 2008 Benny Baumann (http://qbnz.com/highlighter/)
3
f3e2bbbd2155 Updated to latest GeSHi, 1.0.8.4, released May 23, 2009.
Dan
parents: 2
diff changeset
     7
 * Release Version: 1.0.8.4
2
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
     8
 * Date Started: 2008/10/02
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
     9
 *
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    10
 * Prolog language file for GeSHi.
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    11
 *
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    12
 * CHANGES
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    13
 * -------
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    14
 * 2008/10/02 (1.0.8.1)
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    15
 *  -  First Release
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    16
 *
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    17
 * TODO (updated 2008/10/02)
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    18
 * -------------------------
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    19
 *
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    20
 *************************************************************************************
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    21
 *
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    22
 *     This file is part of GeSHi.
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    23
 *
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    24
 *   GeSHi is free software; you can redistribute it and/or modify
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    25
 *   it under the terms of the GNU General Public License as published by
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    26
 *   the Free Software Foundation; either version 2 of the License, or
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    27
 *   (at your option) any later version.
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    28
 *
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    29
 *   GeSHi is distributed in the hope that it will be useful,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    30
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    31
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    32
 *   GNU General Public License for more details.
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    33
 *
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    34
 *   You should have received a copy of the GNU General Public License
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    35
 *   along with GeSHi; if not, write to the Free Software
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    36
 *   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    37
 *
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    38
 ************************************************************************************/
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    39
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    40
$language_data = array (
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    41
    'LANG_NAME' => 'Prolog',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    42
    'COMMENT_SINGLE' => array(1 => '%'),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    43
    'COMMENT_MULTI' => array('/*' => '*/'),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    44
    'HARDQUOTE' => array("'", "'"),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    45
    'HARDESCAPE' => array("\'"),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    46
    'CASE_KEYWORDS' => GESHI_CAPS_NO_CHANGE,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    47
    'QUOTEMARKS' => array(),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    48
    'ESCAPE_CHAR' => '',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    49
    'NUMBERS' =>
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    50
        GESHI_NUMBER_INT_BASIC | GESHI_NUMBER_FLT_SCI_ZERO,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    51
    'KEYWORDS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    52
        1 => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    53
            'abolish','abs','arg','asserta','assertz','at_end_of_stream','atan',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    54
            'atom','atom_chars','atom_codes','atom_concat','atom_length',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    55
            'atomic','bagof','call','catch','ceiling','char_code',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    56
            'char_conversion','clause','close','compound','consult','copy_term',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    57
            'cos','current_char_conversion','current_input','current_op',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    58
            'current_output','current_predicate','current_prolog_flag',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    59
            'discontiguous','dynamic','ensure_loaded','exp','fail','findall',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    60
            'float','float_fractional_part','float_integer_part','floor',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    61
            'flush_output','functor','get_byte','get_char','get_code','halt',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    62
            'include','initialization','integer','is','listing','log','mod',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    63
            'multifile','nl','nonvar','notrace','number','number_chars',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    64
            'number_codes','once','op','open','peek_byte','peek_char',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    65
            'peek_code','put_byte','put_char','put_code','read','read_term',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    66
            'rem','repeat','retract','round','set_input','set_output',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    67
            'set_prolog_flag','set_stream_position','setof','sign','sin','sqrt',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    68
            'stream_property','sub_atom','throw','trace','true','truncate',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    69
            'unify_with_occurs_check','univ','var','write','write_canonical',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    70
            'write_term','writeq'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    71
            )
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    72
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    73
    'SYMBOLS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    74
        0 => array('(', ')', '[', ']', '{', '}',),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    75
        1 => array('?-', ':-', '=:='),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    76
        2 => array('\-', '\+', '\*', '\/'),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    77
        3 => array('-', '+', '*', '/'),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    78
        4 => array('.', ':', ',', ';'),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    79
        5 => array('!', '@', '&', '|'),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    80
        6 => array('<', '>', '=')
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    81
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    82
    'CASE_SENSITIVE' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    83
        GESHI_COMMENTS => false,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    84
        1 => false
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    85
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    86
    'STYLES' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    87
        'KEYWORDS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    88
            1 => 'color: #990000;'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    89
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    90
        'COMMENTS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    91
            1 => 'color: #666666; font-style: italic;',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    92
            'MULTI' => 'color: #666666; font-style: italic;'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    93
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    94
        'ESCAPE_CHAR' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    95
            0 => 'color: #000099; font-weight: bold;',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    96
            'HARD' => 'color: #000099; font-weight: bold;'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    97
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    98
        'BRACKETS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
    99
            0 => 'color: #009900;'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   100
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   101
        'STRINGS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   102
            0 => 'color: #0000ff;',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   103
            'HARD' => 'color: #0000ff;'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   104
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   105
        'NUMBERS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   106
            0 => 'color: #800080;'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   107
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   108
        'METHODS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   109
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   110
        'SYMBOLS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   111
            0 => 'color: #339933;',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   112
            1 => 'color: #339933;',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   113
            2 => 'color: #339933;',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   114
            3 => 'color: #339933;',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   115
            4 => 'color: #339933;',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   116
            5 => 'color: #339933;',
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   117
            6 => 'color: #339933;'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   118
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   119
        'REGEXPS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   120
            0 => 'color: #008080;'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   121
            ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   122
        'SCRIPT' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   123
            )
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   124
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   125
    'URLS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   126
        1 => 'http://pauillac.inria.fr/~deransar/prolog/bips.html'
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   127
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   128
    'OOLANG' => false,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   129
    'OBJECT_SPLITTERS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   130
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   131
    'REGEXPS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   132
        //Variables
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   133
        0 => "(?<![A-Z_])(?!(?:PIPE|SEMI)[^a-zA-Z0-9_])[A-Z_][a-zA-Z0-9_]*(?![a-zA-Z0-9_])"
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   134
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   135
    'STRICT_MODE_APPLIES' => GESHI_NEVER,
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   136
    'SCRIPT_DELIMITERS' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   137
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   138
    'HIGHLIGHT_STRICT_BLOCK' => array(
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   139
        ),
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   140
    'TAB_WIDTH' => 4
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   141
);
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   142
9e3258dfae15 Updated GeSHi. w00t.
Dan
parents:
diff changeset
   143
?>