diff options
| author | Georg Brandl <georg@python.org> | 2021-01-18 21:24:00 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2021-01-18 22:08:36 +0100 |
| commit | 2a3d3a7d5b9c60dedf6638d876161d9563faebcf (patch) | |
| tree | 809c0b4a686db98f5954afa1944404cd9652c6b2 /tests/lexers/logtalk/example.txt | |
| parent | f0445be718da83541ea3401aad882f3937147263 (diff) | |
| download | pygments-git-examplefiles.tar.gz | |
Move test_examplefiles to new tests/lexers scheme.examplefiles
Diffstat (limited to 'tests/lexers/logtalk/example.txt')
| -rw-r--r-- | tests/lexers/logtalk/example.txt | 3228 |
1 files changed, 3228 insertions, 0 deletions
diff --git a/tests/lexers/logtalk/example.txt b/tests/lexers/logtalk/example.txt new file mode 100644 index 00000000..00b9cf8b --- /dev/null +++ b/tests/lexers/logtalk/example.txt @@ -0,0 +1,3228 @@ +---input--- + +% this is a single-line comment + +/* +this is +a block +comment +*/ + + +:- encoding(some_encoding). +:- op(Precedence, Associativity, Operator). + + +:- object(prototype, + implements(protocol), + imports(category), + extends(parent)). + + :- info([ + version is 1.0, + author is 'Paulo Moura', + date is 2008/5/1, + comment is 'Sample prototype for testing syntax coloring.']). + :- threaded. + :- synchronized. + :- dynamic. + :- initialization(some_goal(X, Y)). + :- calls(some_other_protocol). + :- uses(another_object). + + :- alias(set, member/2, set_member/2). + :- alias(words, singular//0, peculiar//0). + + :- uses(list, [append/3, member/2]). + :- uses(queues, [new/1::new_queue/1]). + + :- public(aaa/2). + :- meta_predicate(aaa(::, *)). + :- discontiguous(aaa/2). + :- mode(aaa(+callable, ?integer), zero_or_one). + :- info(position/2, [ + comment is 'Predicate brief description.', + arguments is ['Arg1'-'Arg1 description', 'Arg2'-'Arg2 description']]). + + :- protected(bbb/2). + :- synchronized(bbb/2). + :- mode(bbb(+integer, -float), one). + :- info(bbb/2, [ + comment is 'Predicate brief description.', + argnames is ['Arg1', 'Arg2']]). + + :- private(ccc/2). + :- dynamic(ccc/2). + :- mode(ccc(@atom, ?atom), one_or_more). + :- info(ccc/2, [ + comment is 'Predicate brief description.', + argnames is ['Arg1', 'Arg2']]). + + enumerating_entities(Object, Protocol, Category) :- + current_category(Category), + current_object(Object), + current_protocol(Protocol). + + enumerating_properties :- + category_property(Category, Property), + object_property(Object, Property), + protocol_property(Protocol, Property). + + creating_entities(Object, Protocol, Category) :- + create_category(Category, Relations, Directives, Clauses), + create_object(Object, Relations, Directives, Clauses), + create_protocol(Protocol, Relations, Directives). + + abolishing_entities(Object, Protocol, Category) :- + abolish_category(Category), + abolish_object(Object), + abolish_protocol(Protocol). + + entity_relations :- + extends_object(Prototype, Parent, Scope), + extends_protocol(Protocol1, Protocol2, Scope), + extends_category(Category1, Category2, Scope), + implements_protocol(Object, Protocol, Scope), + imports_category(Object, Category, Scope), + instantiates_class(Instance, Class, Scope), + specializes_class(Class, Superclass, Scope), + complements_object(Category, Object). + + event_handling :- + abolish_events(Event, Object, Message, Sender, Monitor), + current_event(Event, Object, Message, Sender, Monitor), + define_events(Event, Object, Message, Sender, Monitor). + + multi_threading :- + threaded(Goals), + threaded_call(Goal), + threaded_once(Goal), + threaded_ignore(Goal), + threaded_exit(Goal), + threaded_peek(Goal), + threaded_wait(Goal), + threaded_notify(Notification). + + compiling_and_loading :- + logtalk_compile(File, Options), + logtalk_load(File, Options), + logtalk_library_path(Library, Path). + + flags :- + current_logtalk_flag(Flag, Value), + set_logtalk_flag(Flag, Value). + + execution_context_methods :- + parameter(N, Parameter), + self(Self), + sender(Sender), + this(This). + + reflection_methods :- + current_predicate(Predicate), + predicate_property(Predicate, Property). + + database_methods :- + abolish(Functor/Arity), + asserta(Clause), + assertz(Clause), + clause(Head, Body), + retract(Clause), + retractall(Head). + + meta_call_methods :- + call(Goal). + + all_solutions_methods :- + bagof(Term, Goal, List), + findall(Term, Goal, List), + forall(Generate, Test), + setof(Term, Goal, List). + + event_handler_methods :- + before(Object, Message, Sender), + after(Object, Message, Sender). + + dcg_rules_parsing_methods :- + phrase(NonTerminal, Input, Rest). + + term_expansion_methods :- + expand_term(Term, Expanded), + term_expansion(Term, Expanded), + goal_expansion(Goal, Expanded). + + message_sending :- + Object::Message, + ::Message, + ^^Message. + + calling_external_code :- + {goal1, goal2, goal3}. + + context_switching_calls :- + Object<<Goal. + + direct_calls_of_category_predicates :- + :Goal. + + if_then_else :- + ( If -> + Then + ; Else + ). + + numbers :- + X is 13, + Y is 13.13, + Z is 13.13e-23, + C1 is 0'A, C2 is 0'', C3 is 0'", + B is 0b1011101, + O is 0o1234560, + H is 0x1234567890abcDEF. + + functions :- + A is atan(3.14) + sin(0.77) - cos(123.23), + B is sign(-12) * abs(35/78), + C is truncate(3.14) + round(-7.8) - ceiling(111.88), + D is exp(3.8) - log(123.98) / sqrt(33) * 23 ** 4, + E is rem(3, 2) + mod(5, 3) * 2 rem 2 // 5 mod 3, + F is float_fractional_part(3.14) + float_integer_part(3.14), + G is float(33) + floor(99.99). + + bitwise :- + A is 16 >> 2, + B is 16 << 2, + C is 10 /\ 12, + D is 10 \/ 12, + E is \ 10. + + term_unification :- + Term1 = Term2, + Term1 \= Term2, + unify_with_occurs_check(Term1, Term2). + + term_testing :- + atom(Atom), + atomic(Atomic), + integer(Integer), + float(Float), + compound(Term), + nonvar(Term), + var(Term), + number(Number). + + term_comparison :- + Term1 == Term2, + Term1 \== Term2, + Term1 @< Term2, + Term1 @=< Term2, + Term1 @>= Term2, + Term1 @> Term2. + + term_creation_and_decomposition :- + functor(Term, Functor, Arity), + arg(N, Term, Arg), + Term =.. [Functor| Args], + copy_term(Term, Copy). + + arithemtic_evaluation :- + X is Expression. + + arithemtic_comparison :- + Exp1 =:= Exp2, + Exp1 =\= Exp2, + Exp1 < Exp2, + Exp1 =< Exp2, + Exp1 > Exp2, + Exp1 >= Exp2. + + stream_selection_and_control :- + current_input(Stream), + current_output(Stream), + set_input(Stream), + set_output(Stream), + open(Source, Mode, Stream, Options), + close(Stream), + flush_output(Stream), + stream_property(Stream, Property), + at_end_of_stream(Stream), + set_stream_position(Stream, Position), + flush_output, + at_end_of_stream. + + character_input_output :- + get_char(Char), + get_code(Code), + peek_char(Char), + peek_code(Code), + put_char(Char), + put_code(Code), + nl(Stream), + nl. + + byte_input_output :- + get_byte(Byte), + peek_byte(Byte), + put_byte(Byte). + + term_input_output :- + read(Term), + read_term(Term), + write(Term), + write(Term), + write_canonical(Term), + write_term(Stream, Term, Options), + current_op(Precedence, Associativity, Operator), + op(Precedence, Associativity, Operator), + current_char_conversion(InChar, OutChar), + char_conversion(InChar, OutChar). + + logic_and_control :- + \+ Goal, + once(Goal), + repeat, + !. + + atomic_term_processing :- + atom_length(Atom, Length), + atom_chars(Atom, Chars), + atom_codes(Atom, Codes), + atom_concat(Atom1, Atom2, Atom), + sub_atom(Atom, Before, Length, After, SubAtom), + char_code(Char, Code), + number_chars(Number, Chars), + number_codes(Number, Codes). + + implementation_defined_hooks :- + current_prolog_flag(Flag, Value), + set_prolog_flag(Flag, Value), + halt(ExitCode), + halt. + + number(C) --> "+", number(C). + number(C) --> "-", number(X), {C is -X}. + number(X) --> [C], {0'0 =< C, C =< 0'9, X is C - 0'0}. + +:- end_object. + + + +:- object(class, + implements(protocol), + imports(category), + instantiates(metaclass), + specializes(superclass)). + + +:- end_object. + + + +:- object(parametric(_Par1, _Par2), + implements(protocol), + imports(category), + extends(parent(_Par))). + + +:- end_object. + + + +:- category(category, + implements(protocol), + extends(other_category)). + + +:- end_category. + + + +:- protocol(extended, + extends(minimal)). + + +:- end_protocol. + +---tokens--- +'% this is a single-line comment\n' Comment + +'\n' Text + +'/*\nthis is\na block\ncomment\n*/' Comment +'\n' Text + +'\n\n:- ' Punctuation +'encoding' Keyword +'(' Text +'some_encoding' Text +')' Text +'.' Text +'\n' Text + +':- ' Punctuation +'op' Keyword +'(' Text +'Precedence' Name.Variable +',' Text +' ' Text +'Associativity' Name.Variable +',' Text +' ' Text +'Operator' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n\n:- ' Punctuation +'object' Keyword +'(' Text +'prototype' Text +',' Text +'\n' Text + +'\t' Text +'implements' Keyword +'(' Text +'protocol' Text +')' Text +',' Text +'\n' Text + +'\t' Text +'imports' Keyword +'(' Text +'category' Text +')' Text +',' Text +'\n' Text + +'\t' Text +'extends' Keyword +'(' Text +'parent' Text +')' Text +').' Text +'\n' Text + +'\n\t:- ' Punctuation +'info' Keyword +'(' Text +'[' Text +'\n' Text + +'\t\t' Text +'version' Text +' ' Text +'is' Keyword +' ' Text +'1.0' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'author' Text +' ' Text +'is' Keyword +' ' Text +"'" Literal.String +'Paulo Moura' Literal.String +"'" Literal.String +',' Text +'\n' Text + +'\t\t' Text +'date' Text +' ' Text +'is' Keyword +' ' Text +'2008' Literal.Number +'/' Operator +'5' Literal.Number +'/' Operator +'1' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'comment' Text +' ' Text +'is' Keyword +' ' Text +"'" Literal.String +'Sample prototype for testing syntax coloring.' Literal.String +"'" Literal.String +']' Text +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'threaded' Keyword +'.' Text +'\n' Text + +'\t:- ' Punctuation +'synchronized' Keyword +'.' Text +'\n' Text + +'\t:- ' Punctuation +'dynamic' Keyword +'.' Text +'\n' Text + +'\t:- ' Punctuation +'initialization' Keyword +'(' Text +'some_goal' Text +'(' Text +'X' Name.Variable +',' Text +' ' Text +'Y' Name.Variable +')' Text +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'calls' Keyword +'(' Text +'some_other_protocol' Text +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'uses' Keyword +'(' Text +'another_object' Text +')' Text +'.' Text +'\n' Text + +'\n\t:- ' Punctuation +'alias' Keyword +'(' Text +'set' Text +',' Text +' ' Text +'member' Text +'/' Operator +'2' Literal.Number +',' Text +' ' Text +'set_member' Text +'/' Operator +'2' Literal.Number +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'alias' Keyword +'(' Text +'words' Text +',' Text +' ' Text +'singular' Text +'//' Operator +'0' Literal.Number +',' Text +' ' Text +'peculiar' Text +'//' Operator +'0' Literal.Number +')' Text +'.' Text +'\n' Text + +'\n\t:- ' Punctuation +'uses' Keyword +'(' Text +'list' Text +',' Text +' ' Text +'[' Text +'append' Text +'/' Operator +'3' Literal.Number +',' Text +' ' Text +'member' Text +'/' Operator +'2' Literal.Number +']' Text +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'uses' Keyword +'(' Text +'queues' Text +',' Text +' ' Text +'[' Text +'new' Text +'/' Operator +'1' Literal.Number +'::' Operator +'new_queue' Text +'/' Operator +'1' Literal.Number +']' Text +')' Text +'.' Text +'\n' Text + +'\n\t:- ' Punctuation +'public' Keyword +'(' Text +'aaa' Text +'/' Operator +'2' Literal.Number +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'meta_predicate' Keyword +'(' Text +'aaa' Text +'(' Text +'::' Operator +',' Text +' ' Text +'*' Operator +')' Text +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'discontiguous' Keyword +'(' Text +'aaa' Text +'/' Operator +'2' Literal.Number +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'mode' Keyword +'(' Text +'aaa' Text +'(' Text +'+' Operator +'callable' Text +',' Text +' ' Text +'?' Operator +'integer' Text +')' Text +',' Text +' ' Text +'zero_or_one' Text +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'info' Keyword +'(' Text +'position' Text +'/' Operator +'2' Literal.Number +',' Text +' ' Text +'[' Text +'\n' Text + +'\t\t' Text +'comment' Text +' ' Text +'is' Keyword +' ' Text +"'" Literal.String +'Predicate brief description.' Literal.String +"'" Literal.String +',' Text +'\n' Text + +'\t\t' Text +'arguments' Text +' ' Text +'is' Keyword +' ' Text +'[' Text +"'" Literal.String +'Arg1' Literal.String +"'" Literal.String +'-' Operator +"'" Literal.String +'Arg1 description' Literal.String +"'" Literal.String +',' Text +' ' Text +"'" Literal.String +'Arg2' Literal.String +"'" Literal.String +'-' Operator +"'" Literal.String +'Arg2 description' Literal.String +"'" Literal.String +']' Text +']' Text +')' Text +'.' Text +'\n' Text + +'\n\t:- ' Punctuation +'protected' Keyword +'(' Text +'bbb' Text +'/' Operator +'2' Literal.Number +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'synchronized' Keyword +'(' Text +'bbb' Text +'/' Operator +'2' Literal.Number +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'mode' Keyword +'(' Text +'bbb' Text +'(' Text +'+' Operator +'integer' Text +',' Text +' ' Text +'-' Operator +'float' Text +')' Text +',' Text +' ' Text +'one' Text +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'info' Keyword +'(' Text +'bbb' Text +'/' Operator +'2' Literal.Number +',' Text +' ' Text +'[' Text +'\n' Text + +'\t\t' Text +'comment' Text +' ' Text +'is' Keyword +' ' Text +"'" Literal.String +'Predicate brief description.' Literal.String +"'" Literal.String +',' Text +'\n' Text + +'\t\t' Text +'argnames' Text +' ' Text +'is' Keyword +' ' Text +'[' Text +"'" Literal.String +'Arg1' Literal.String +"'" Literal.String +',' Text +' ' Text +"'" Literal.String +'Arg2' Literal.String +"'" Literal.String +']' Text +']' Text +')' Text +'.' Text +'\n' Text + +'\n\t:- ' Punctuation +'private' Keyword +'(' Text +'ccc' Text +'/' Operator +'2' Literal.Number +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'dynamic' Keyword +'(' Text +'ccc' Text +'/' Operator +'2' Literal.Number +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'mode' Keyword +'(' Text +'ccc' Text +'(' Text +'@' Operator +'atom' Text +',' Text +' ' Text +'?' Operator +'atom' Text +')' Text +',' Text +' ' Text +'one_or_more' Text +')' Text +'.' Text +'\n' Text + +'\t:- ' Punctuation +'info' Keyword +'(' Text +'ccc' Text +'/' Operator +'2' Literal.Number +',' Text +' ' Text +'[' Text +'\n' Text + +'\t\t' Text +'comment' Text +' ' Text +'is' Keyword +' ' Text +"'" Literal.String +'Predicate brief description.' Literal.String +"'" Literal.String +',' Text +'\n' Text + +'\t\t' Text +'argnames' Text +' ' Text +'is' Keyword +' ' Text +'[' Text +"'" Literal.String +'Arg1' Literal.String +"'" Literal.String +',' Text +' ' Text +"'" Literal.String +'Arg2' Literal.String +"'" Literal.String +']' Text +']' Text +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'enumerating_entities' Text +'(' Text +'Object' Name.Variable +',' Text +' ' Text +'Protocol' Name.Variable +',' Text +' ' Text +'Category' Name.Variable +')' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'current_category' Keyword +'(' Text +'Category' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'current_object' Keyword +'(' Text +'Object' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'current_protocol' Keyword +'(' Text +'Protocol' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'enumerating_properties' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'category_property' Keyword +'(' Text +'Category' Name.Variable +',' Text +' ' Text +'Property' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'object_property' Keyword +'(' Text +'Object' Name.Variable +',' Text +' ' Text +'Property' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'protocol_property' Keyword +'(' Text +'Protocol' Name.Variable +',' Text +' ' Text +'Property' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'creating_entities' Text +'(' Text +'Object' Name.Variable +',' Text +' ' Text +'Protocol' Name.Variable +',' Text +' ' Text +'Category' Name.Variable +')' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'create_category' Keyword +'(' Text +'Category' Name.Variable +',' Text +' ' Text +'Relations' Name.Variable +',' Text +' ' Text +'Directives' Name.Variable +',' Text +' ' Text +'Clauses' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'create_object' Keyword +'(' Text +'Object' Name.Variable +',' Text +' ' Text +'Relations' Name.Variable +',' Text +' ' Text +'Directives' Name.Variable +',' Text +' ' Text +'Clauses' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'create_protocol' Keyword +'(' Text +'Protocol' Name.Variable +',' Text +' ' Text +'Relations' Name.Variable +',' Text +' ' Text +'Directives' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'abolishing_entities' Text +'(' Text +'Object' Name.Variable +',' Text +' ' Text +'Protocol' Name.Variable +',' Text +' ' Text +'Category' Name.Variable +')' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'abolish_category' Keyword +'(' Text +'Category' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'abolish_object' Keyword +'(' Text +'Object' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'abolish_protocol' Keyword +'(' Text +'Protocol' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'entity_relations' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'extends_object' Keyword +'(' Text +'Prototype' Name.Variable +',' Text +' ' Text +'Parent' Name.Variable +',' Text +' ' Text +'Scope' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'extends_protocol' Keyword +'(' Text +'Protocol1' Name.Variable +',' Text +' ' Text +'Protocol2' Name.Variable +',' Text +' ' Text +'Scope' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'extends_category' Keyword +'(' Text +'Category1' Name.Variable +',' Text +' ' Text +'Category2' Name.Variable +',' Text +' ' Text +'Scope' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'implements_protocol' Keyword +'(' Text +'Object' Name.Variable +',' Text +' ' Text +'Protocol' Name.Variable +',' Text +' ' Text +'Scope' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'imports_category' Keyword +'(' Text +'Object' Name.Variable +',' Text +' ' Text +'Category' Name.Variable +',' Text +' ' Text +'Scope' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'instantiates_class' Keyword +'(' Text +'Instance' Name.Variable +',' Text +' ' Text +'Class' Name.Variable +',' Text +' ' Text +'Scope' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'specializes_class' Keyword +'(' Text +'Class' Name.Variable +',' Text +' ' Text +'Superclass' Name.Variable +',' Text +' ' Text +'Scope' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'complements_object' Keyword +'(' Text +'Category' Name.Variable +',' Text +' ' Text +'Object' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'event_handling' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'abolish_events' Keyword +'(' Text +'Event' Name.Variable +',' Text +' ' Text +'Object' Name.Variable +',' Text +' ' Text +'Message' Name.Variable +',' Text +' ' Text +'Sender' Name.Variable +',' Text +' ' Text +'Monitor' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'current_event' Keyword +'(' Text +'Event' Name.Variable +',' Text +' ' Text +'Object' Name.Variable +',' Text +' ' Text +'Message' Name.Variable +',' Text +' ' Text +'Sender' Name.Variable +',' Text +' ' Text +'Monitor' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'define_events' Keyword +'(' Text +'Event' Name.Variable +',' Text +' ' Text +'Object' Name.Variable +',' Text +' ' Text +'Message' Name.Variable +',' Text +' ' Text +'Sender' Name.Variable +',' Text +' ' Text +'Monitor' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'multi_threading' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'threaded' Keyword +'(' Text +'Goals' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'threaded_call' Keyword +'(' Text +'Goal' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'threaded_once' Keyword +'(' Text +'Goal' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'threaded_ignore' Keyword +'(' Text +'Goal' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'threaded_exit' Keyword +'(' Text +'Goal' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'threaded_peek' Keyword +'(' Text +'Goal' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'threaded_wait' Keyword +'(' Text +'Goal' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'threaded_notify' Keyword +'(' Text +'Notification' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'compiling_and_loading' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'logtalk_compile' Keyword +'(' Text +'File' Name.Variable +',' Text +' ' Text +'Options' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'logtalk_load' Keyword +'(' Text +'File' Name.Variable +',' Text +' ' Text +'Options' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'logtalk_library_path' Keyword +'(' Text +'Library' Name.Variable +',' Text +' ' Text +'Path' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'flags' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'current_logtalk_flag' Keyword +'(' Text +'Flag' Name.Variable +',' Text +' ' Text +'Value' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'set_logtalk_flag' Keyword +'(' Text +'Flag' Name.Variable +',' Text +' ' Text +'Value' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'execution_context_methods' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'parameter' Keyword +'(' Text +'N' Name.Variable +',' Text +' ' Text +'Parameter' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'self' Keyword +'(' Text +'Self' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'sender' Keyword +'(' Text +'Sender' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'this' Keyword +'(' Text +'This' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'reflection_methods' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'current_predicate' Keyword +'(' Text +'Predicate' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'predicate_property' Keyword +'(' Text +'Predicate' Name.Variable +',' Text +' ' Text +'Property' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'database_methods' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'abolish' Keyword +'(' Text +'Functor' Name.Variable +'/' Operator +'Arity' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'asserta' Keyword +'(' Text +'Clause' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'assertz' Keyword +'(' Text +'Clause' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'clause' Keyword +'(' Text +'Head' Name.Variable +',' Text +' ' Text +'Body' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'retract' Keyword +'(' Text +'Clause' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'retractall' Keyword +'(' Text +'Head' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'meta_call_methods' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'call' Keyword +'(' Text +'Goal' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'all_solutions_methods' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'bagof' Keyword +'(' Text +'Term' Name.Variable +',' Text +' ' Text +'Goal' Name.Variable +',' Text +' ' Text +'List' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'findall' Keyword +'(' Text +'Term' Name.Variable +',' Text +' ' Text +'Goal' Name.Variable +',' Text +' ' Text +'List' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'forall' Keyword +'(' Text +'Generate' Name.Variable +',' Text +' ' Text +'Test' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'setof' Keyword +'(' Text +'Term' Name.Variable +',' Text +' ' Text +'Goal' Name.Variable +',' Text +' ' Text +'List' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'event_handler_methods' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'before' Keyword +'(' Text +'Object' Name.Variable +',' Text +' ' Text +'Message' Name.Variable +',' Text +' ' Text +'Sender' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'after' Keyword +'(' Text +'Object' Name.Variable +',' Text +' ' Text +'Message' Name.Variable +',' Text +' ' Text +'Sender' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'dcg_rules_parsing_methods' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'phrase' Keyword +'(' Text +'NonTerminal' Name.Variable +',' Text +' ' Text +'Input' Name.Variable +',' Text +' ' Text +'Rest' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'term_expansion_methods' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'expand_term' Keyword +'(' Text +'Term' Name.Variable +',' Text +' ' Text +'Expanded' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'term_expansion' Keyword +'(' Text +'Term' Name.Variable +',' Text +' ' Text +'Expanded' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'goal_expansion' Keyword +'(' Text +'Goal' Name.Variable +',' Text +' ' Text +'Expanded' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'message_sending' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'Object' Name.Variable +'::' Operator +'Message' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'::' Operator +'Message' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'^^' Operator +'Message' Name.Variable +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'calling_external_code' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'{' Keyword +'goal1' Text +',' Text +' ' Text +'goal2' Text +',' Text +' ' Text +'goal3' Text +'}' Keyword +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'context_switching_calls' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'Object' Name.Variable +'<<' Operator +'Goal' Name.Variable +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'direct_calls_of_category_predicates' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +':' Operator +'Goal' Name.Variable +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'if_then_else' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'(' Text +'\t' Text +'If' Name.Variable +' ' Text +'-' Operator +'>' Operator +'\n' Text + +'\t\t\t' Text +'Then' Name.Variable +'\n' Text + +'\t\t' Text +';' Operator +'\t' Text +'Else' Name.Variable +'\n' Text + +'\t\t' Text +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'numbers' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'X' Name.Variable +' ' Text +'is' Keyword +' ' Text +'13' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'Y' Name.Variable +' ' Text +'is' Keyword +' ' Text +'13.13' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'Z' Name.Variable +' ' Text +'is' Keyword +' ' Text +'13.13e-23' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'C1' Name.Variable +' ' Text +'is' Keyword +' ' Text +"0'A" Literal.Number +',' Text +' ' Text +'C2' Name.Variable +' ' Text +'is' Keyword +' ' Text +"0''" Literal.Number +',' Text +' ' Text +'C3' Name.Variable +' ' Text +'is' Keyword +' ' Text +'0\'"' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'B' Name.Variable +' ' Text +'is' Keyword +' ' Text +'0b1011101' Literal.Number.Bin +',' Text +'\n' Text + +'\t\t' Text +'O' Name.Variable +' ' Text +'is' Keyword +' ' Text +'0o1234560' Literal.Number.Oct +',' Text +'\n' Text + +'\t\t' Text +'H' Name.Variable +' ' Text +'is' Keyword +' ' Text +'0x1234567890abcDEF' Literal.Number.Hex +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'functions' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'A' Name.Variable +' ' Text +'is' Keyword +' ' Text +'atan' Keyword +'(' Text +'3.14' Literal.Number +')' Text +' ' Text +'+' Operator +' ' Text +'sin' Keyword +'(' Text +'0.77' Literal.Number +')' Text +' ' Text +'-' Operator +' ' Text +'cos' Keyword +'(' Text +'123.23' Literal.Number +')' Text +',' Text +'\n' Text + +'\t\t' Text +'B' Name.Variable +' ' Text +'is' Keyword +' ' Text +'sign' Keyword +'(' Text +'-' Operator +'12' Literal.Number +')' Text +' ' Text +'*' Operator +' ' Text +'abs' Keyword +'(' Text +'35' Literal.Number +'/' Operator +'78' Literal.Number +')' Text +',' Text +'\n' Text + +'\t\t' Text +'C' Name.Variable +' ' Text +'is' Keyword +' ' Text +'truncate' Keyword +'(' Text +'3.14' Literal.Number +')' Text +' ' Text +'+' Operator +' ' Text +'round' Keyword +'(' Text +'-' Operator +'7.8' Literal.Number +')' Text +' ' Text +'-' Operator +' ' Text +'ceiling' Keyword +'(' Text +'111.88' Literal.Number +')' Text +',' Text +'\n' Text + +'\t\t' Text +'D' Name.Variable +' ' Text +'is' Keyword +' ' Text +'exp' Keyword +'(' Text +'3.8' Literal.Number +')' Text +' ' Text +'-' Operator +' ' Text +'log' Keyword +'(' Text +'123.98' Literal.Number +')' Text +' ' Text +'/' Operator +' ' Text +'sqrt' Keyword +'(' Text +'33' Literal.Number +')' Text +' ' Text +'*' Operator +' ' Text +'23' Literal.Number +' ' Text +'*' Operator +'*' Operator +' ' Text +'4' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'E' Name.Variable +' ' Text +'is' Keyword +' ' Text +'rem' Keyword +'(' Text +'3' Literal.Number +',' Text +' ' Text +'2' Literal.Number +')' Text +' ' Text +'+' Operator +' ' Text +'mod' Keyword +'(' Text +'5' Literal.Number +',' Text +' ' Text +'3' Literal.Number +')' Text +' ' Text +'*' Operator +' ' Text +'2' Literal.Number +' ' Text +'rem' Operator +' ' Text +'2' Literal.Number +' ' Text +'//' Operator +' ' Text +'5' Literal.Number +' ' Text +'mod' Operator +' ' Text +'3' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'F' Name.Variable +' ' Text +'is' Keyword +' ' Text +'float_fractional_part' Keyword +'(' Text +'3.14' Literal.Number +')' Text +' ' Text +'+' Operator +' ' Text +'float_integer_part' Keyword +'(' Text +'3.14' Literal.Number +')' Text +',' Text +'\n' Text + +'\t\t' Text +'G' Name.Variable +' ' Text +'is' Keyword +' ' Text +'float' Keyword +'(' Text +'33' Literal.Number +')' Text +' ' Text +'+' Operator +' ' Text +'floor' Keyword +'(' Text +'99.99' Literal.Number +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'bitwise' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'A' Name.Variable +' ' Text +'is' Keyword +' ' Text +'16' Literal.Number +' ' Text +'>>' Operator +' ' Text +'2' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'B' Name.Variable +' ' Text +'is' Keyword +' ' Text +'16' Literal.Number +' ' Text +'<<' Operator +' ' Text +'2' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'C' Name.Variable +' ' Text +'is' Keyword +' ' Text +'10' Literal.Number +' ' Text +'/\\' Operator +' ' Text +'12' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'D' Name.Variable +' ' Text +'is' Keyword +' ' Text +'10' Literal.Number +' ' Text +'\\' Operator +'/' Operator +' ' Text +'12' Literal.Number +',' Text +'\n' Text + +'\t\t' Text +'E' Name.Variable +' ' Text +'is' Keyword +' ' Text +'\\' Operator +' ' Text +'10.' Literal.Number +'\n' Text + +'\n' Text + +'\t' Text +'term_unification' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'Term1' Name.Variable +' ' Text +'=' Operator +' ' Text +'Term2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Term1' Name.Variable +' ' Text +'\\' Operator +'=' Operator +' ' Text +'Term2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'unify_with_occurs_check' Keyword +'(' Text +'Term1' Name.Variable +',' Text +' ' Text +'Term2' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'term_testing' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'atom' Keyword +'(' Text +'Atom' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'atomic' Keyword +'(' Text +'Atomic' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'integer' Keyword +'(' Text +'Integer' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'float' Keyword +'(' Text +'Float' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'compound' Keyword +'(' Text +'Term' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'nonvar' Keyword +'(' Text +'Term' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'var' Keyword +'(' Text +'Term' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'number' Keyword +'(' Text +'Number' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'term_comparison' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'Term1' Name.Variable +' ' Text +'=' Operator +'=' Operator +' ' Text +'Term2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Term1' Name.Variable +' ' Text +'\\' Operator +'=' Operator +'=' Operator +' ' Text +'Term2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Term1' Name.Variable +' ' Text +'@<' Operator +' ' Text +'Term2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Term1' Name.Variable +' ' Text +'@=<' Operator +' ' Text +'Term2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Term1' Name.Variable +' ' Text +'@>=' Operator +' ' Text +'Term2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Term1' Name.Variable +' ' Text +'@>' Operator +' ' Text +'Term2' Name.Variable +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'term_creation_and_decomposition' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'functor' Keyword +'(' Text +'Term' Name.Variable +',' Text +' ' Text +'Functor' Name.Variable +',' Text +' ' Text +'Arity' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'arg' Keyword +'(' Text +'N' Name.Variable +',' Text +' ' Text +'Term' Name.Variable +',' Text +' ' Text +'Arg' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'Term' Name.Variable +' ' Text +'=..' Operator +' ' Text +'[' Text +'Functor' Name.Variable +'|' Text +' ' Text +'Args' Name.Variable +']' Text +',' Text +'\n' Text + +'\t\t' Text +'copy_term' Keyword +'(' Text +'Term' Name.Variable +',' Text +' ' Text +'Copy' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'arithemtic_evaluation' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'X' Name.Variable +' ' Text +'is' Keyword +' ' Text +'Expression' Name.Variable +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'arithemtic_comparison' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'Exp1' Name.Variable +' ' Text +'=:=' Operator +' ' Text +'Exp2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Exp1' Name.Variable +' ' Text +'=\\=' Operator +' ' Text +'Exp2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Exp1' Name.Variable +' ' Text +'<' Operator +' ' Text +'Exp2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Exp1' Name.Variable +' ' Text +'=<' Operator +' ' Text +'Exp2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Exp1' Name.Variable +' ' Text +'>' Operator +' ' Text +'Exp2' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'Exp1' Name.Variable +' ' Text +'>=' Operator +' ' Text +'Exp2' Name.Variable +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'stream_selection_and_control' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'current_input' Keyword +'(' Text +'Stream' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'current_output' Keyword +'(' Text +'Stream' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'set_input' Keyword +'(' Text +'Stream' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'set_output' Keyword +'(' Text +'Stream' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'open' Keyword +'(' Text +'Source' Name.Variable +',' Text +' ' Text +'Mode' Name.Variable +',' Text +' ' Text +'Stream' Name.Variable +',' Text +' ' Text +'Options' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'close' Keyword +'(' Text +'Stream' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'flush_output' Keyword +'(' Text +'Stream' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'stream_property' Keyword +'(' Text +'Stream' Name.Variable +',' Text +' ' Text +'Property' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'at_end_of_stream' Keyword +'(' Text +'Stream' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'set_stream_position' Keyword +'(' Text +'Stream' Name.Variable +',' Text +' ' Text +'Position' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'flush_output' Keyword +',' Text +'\n' Text + +'\t\t' Text +'at_end_of_stream' Keyword +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'character_input_output' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'get_char' Keyword +'(' Text +'Char' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'get_code' Keyword +'(' Text +'Code' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'peek_char' Keyword +'(' Text +'Char' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'peek_code' Keyword +'(' Text +'Code' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'put_char' Keyword +'(' Text +'Char' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'put_code' Keyword +'(' Text +'Code' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'nl' Keyword +'(' Text +'Stream' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'nl' Keyword +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'byte_input_output' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'get_byte' Keyword +'(' Text +'Byte' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'peek_byte' Keyword +'(' Text +'Byte' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'put_byte' Keyword +'(' Text +'Byte' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'term_input_output' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'read' Keyword +'(' Text +'Term' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'read_term' Keyword +'(' Text +'Term' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'write' Keyword +'(' Text +'Term' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'write' Keyword +'(' Text +'Term' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'write_canonical' Keyword +'(' Text +'Term' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'write_term' Keyword +'(' Text +'Stream' Name.Variable +',' Text +' ' Text +'Term' Name.Variable +',' Text +' ' Text +'Options' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'current_op' Keyword +'(' Text +'Precedence' Name.Variable +',' Text +' ' Text +'Associativity' Name.Variable +',' Text +' ' Text +'Operator' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'op' Keyword +'(' Text +'Precedence' Name.Variable +',' Text +' ' Text +'Associativity' Name.Variable +',' Text +' ' Text +'Operator' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'current_char_conversion' Keyword +'(' Text +'InChar' Name.Variable +',' Text +' ' Text +'OutChar' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'char_conversion' Keyword +'(' Text +'InChar' Name.Variable +',' Text +' ' Text +'OutChar' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'logic_and_control' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'\\' Operator +'+' Operator +' ' Text +'Goal' Name.Variable +',' Text +'\n' Text + +'\t\t' Text +'once' Keyword +'(' Text +'Goal' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'repeat' Keyword +',' Text +'\n' Text + +'\t\t' Text +'!' Operator +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'atomic_term_processing' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'atom_length' Keyword +'(' Text +'Atom' Name.Variable +',' Text +' ' Text +'Length' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'atom_chars' Keyword +'(' Text +'Atom' Name.Variable +',' Text +' ' Text +'Chars' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'atom_codes' Keyword +'(' Text +'Atom' Name.Variable +',' Text +' ' Text +'Codes' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'atom_concat' Keyword +'(' Text +'Atom1' Name.Variable +',' Text +' ' Text +'Atom2' Name.Variable +',' Text +' ' Text +'Atom' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'sub_atom' Keyword +'(' Text +'Atom' Name.Variable +',' Text +' ' Text +'Before' Name.Variable +',' Text +' ' Text +'Length' Name.Variable +',' Text +' ' Text +'After' Name.Variable +',' Text +' ' Text +'SubAtom' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'char_code' Keyword +'(' Text +'Char' Name.Variable +',' Text +' ' Text +'Code' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'number_chars' Keyword +'(' Text +'Number' Name.Variable +',' Text +' ' Text +'Chars' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'number_codes' Keyword +'(' Text +'Number' Name.Variable +',' Text +' ' Text +'Codes' Name.Variable +')' Text +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'implementation_defined_hooks' Text +' ' Text +':' Operator +'-' Operator +'\n' Text + +'\t\t' Text +'current_prolog_flag' Keyword +'(' Text +'Flag' Name.Variable +',' Text +' ' Text +'Value' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'set_prolog_flag' Keyword +'(' Text +'Flag' Name.Variable +',' Text +' ' Text +'Value' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'halt' Keyword +'(' Text +'ExitCode' Name.Variable +')' Text +',' Text +'\n' Text + +'\t\t' Text +'halt' Keyword +'.' Text +'\n' Text + +'\n' Text + +'\t' Text +'number' Keyword +'(' Text +'C' Name.Variable +')' Text +' ' Text +'-' Operator +'-' Operator +'>' Operator +' ' Text +'"+"' Literal.String +',' Text +' ' Text +'number' Keyword +'(' Text +'C' Name.Variable +')' Text +'.' Text +'\n' Text + +'\t' Text +'number' Keyword +'(' Text +'C' Name.Variable +')' Text +' ' Text +'-' Operator +'-' Operator +'>' Operator +' ' Text +'"-"' Literal.String +',' Text +' ' Text +'number' Keyword +'(' Text +'X' Name.Variable +')' Text +',' Text +' ' Text +'{' Keyword +'C' Name.Variable +' ' Text +'is' Keyword +' ' Text +'-' Operator +'X' Name.Variable +'}' Keyword +'.' Text +'\n' Text + +'\t' Text +'number' Keyword +'(' Text +'X' Name.Variable +')' Text +' ' Text +'-' Operator +'-' Operator +'>' Operator +' ' Text +'[' Text +'C' Name.Variable +']' Text +',' Text +' ' Text +'{' Keyword +"0'0" Literal.Number +' ' Text +'=<' Operator +' ' Text +'C' Name.Variable +',' Text +' ' Text +'C' Name.Variable +' ' Text +'=<' Operator +' ' Text +"0'9" Literal.Number +',' Text +' ' Text +'X' Name.Variable +' ' Text +'is' Keyword +' ' Text +'C' Name.Variable +' ' Text +'-' Operator +' ' Text +"0'0" Literal.Number +'}' Keyword +'.' Text +'\n' Text + +'\n:- ' Punctuation +'end_object' Keyword +'.' Text +'\n' Text + +'\n\n\n:- ' Punctuation +'object' Keyword +'(' Text +'class' Text +',' Text +'\n' Text + +'\t' Text +'implements' Keyword +'(' Text +'protocol' Text +')' Text +',' Text +'\n' Text + +'\t' Text +'imports' Keyword +'(' Text +'category' Text +')' Text +',' Text +'\n' Text + +'\t' Text +'instantiates' Keyword +'(' Text +'metaclass' Text +')' Text +',' Text +'\n' Text + +'\t' Text +'specializes' Keyword +'(' Text +'superclass' Text +')' Text +').' Text +'\n' Text + +'\n\n:- ' Punctuation +'end_object' Keyword +'.' Text +'\n' Text + +'\n\n\n:- ' Punctuation +'object' Keyword +'(' Text +'parametric' Text +'(' Text +'_Par1' Name.Variable +',' Text +' ' Text +'_Par2' Name.Variable +')' Text +',' Text +'\n' Text + +'\t' Text +'implements' Keyword +'(' Text +'protocol' Text +')' Text +',' Text +'\n' Text + +'\t' Text +'imports' Keyword +'(' Text +'category' Text +')' Text +',' Text +'\n' Text + +'\t' Text +'extends' Keyword +'(' Text +'parent' Text +'(' Text +'_Par' Name.Variable +')' Text +')' Text +').' Text +'\n' Text + +'\n\n:- ' Punctuation +'end_object' Keyword +'.' Text +'\n' Text + +'\n\n\n:- ' Punctuation +'category' Keyword +'(' Text +'category' Text +',' Text +'\n' Text + +'\t' Text +'implements' Keyword +'(' Text +'protocol' Text +')' Text +',' Text +'\n' Text + +'\t' Text +'extends' Keyword +'(' Text +'other_category' Text +')' Text +').' Text +'\n' Text + +'\n\n:- ' Punctuation +'end_category' Keyword +'.' Text +'\n' Text + +'\n\n\n:- ' Punctuation +'protocol' Keyword +'(' Text +'extended' Text +',' Text +'\n' Text + +'\t' Text +'extends' Keyword +'(' Text +'minimal' Text +')' Text +').' Text +'\n' Text + +'\n\n:- ' Punctuation +'end_protocol' Keyword +'.' Text +'\n' Text |
