Differential D14593 Diff 39568 autotests/html/highlight.lgt.html

Changeset View

Standalone View

View Options

autotests/html/highlight.lgt.html

  • This file was added.
1​<!DOCTYPE html>
2​<html><head>
3​<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
4​<title>highlight.lgt</title>
5​<meta name="generator" content="KF5::SyntaxHighlighting (Logtalk)"/>
6​</head><body style="color:#1f1c1b"><pre>
7​<span style="color:#898887;">/* </span>
8​<span style="color:#898887;"> Highlighting test case for Logtalk</span>
9​
10​<span style="color:#898887;"> Copied from the Logtalk distribution by the Logtalk copright holder</span>
11​<span style="color:#898887;"> and contributed using the Apache License 2.0</span>
12​<span style="color:#898887;">*/</span>
13​
14​:-<span style="font-weight:bold;"> encoding</span>(<span style="color:#006e28;">Encoding</span>). <span style="color:#898887;">% this is a single-line comment</span>
15​
16​<span style="color:#898887;">/*</span>
17​<span style="color:#898887;">this is</span>
18​<span style="color:#898887;">a block</span>
19​<span style="color:#898887;">comment</span>
20​<span style="color:#898887;">*/</span>
21​
22​
23​:-<span style="font-weight:bold;"> if</span>(<span style="color:#006e28;">Goal</span>).
24​ <span style="color:#898887;">% conditional</span>
25​:-<span style="font-weight:bold;"> elif</span>(<span style="color:#006e28;">Goal</span>).
26​ <span style="color:#898887;">% compilation</span>
27​:-<span style="font-weight:bold;"> else.</span>
28​ <span style="color:#898887;">% directives</span>
29​:-<span style="font-weight:bold;"> endif.</span>
30​
31​
32​:-<span style="font-weight:bold;"> initialization</span>(<span style="color:#006e28;">Goal</span>).
33​:-<span style="font-weight:bold;"> op</span>(<span style="color:#006e28;">Precedence</span>, <span style="color:#006e28;">Associativity</span>, <span style="color:#006e28;">Operator</span>).
34​:-<span style="font-weight:bold;"> ensure_loaded</span>(<span style="color:#006e28;">File</span>).
35​:-<span style="font-weight:bold;"> include</span>(<span style="color:#006e28;">File</span>).
36​:-<span style="font-weight:bold;"> set_prolog_flag</span>(<span style="color:#006e28;">Flag</span>, <span style="color:#006e28;">Value</span>).
37​:-<span style="font-weight:bold;"> set_logtalk_flag</span>(<span style="color:#006e28;">Flag</span>, <span style="color:#006e28;">Value</span>).
38​
39​
40​:-<span style="font-weight:bold;"> object</span>(prototype,
41​ <span style="font-weight:bold;">implements</span>(protocol),
42​ <span style="font-weight:bold;">imports</span>(category),
43​ <span style="font-weight:bold;">extends</span>(parent)).
44​
45​ :-<span style="font-weight:bold;"> info</span>([
46​ version <span style="color:#0057ae;">is</span> <span style="color:#b08000;">1.43</span>,
47​ author <span style="color:#0057ae;">is</span> <span style="color:#bf0303;">'Paulo Moura'</span>,
48​ date <span style="color:#0057ae;">is</span> <span style="color:#b08000;">2018</span><span style="color:#0057ae;">/</span><span style="color:#b08000;">08</span><span style="color:#0057ae;">/</span><span style="color:#b08000;">03</span>,
49​ comment <span style="color:#0057ae;">is</span> <span style="color:#bf0303;">'Sample prototype for testing syntax coloring.'</span>
50​ ]).
51​
52​ :-<span style="font-weight:bold;"> built_in.</span>
53​ :-<span style="font-weight:bold;"> threaded.</span>
54​ :-<span style="font-weight:bold;"> dynamic.</span>
55​ :-<span style="font-weight:bold;"> initialization</span>(some_goal(<span style="color:#006e28;">X</span>, <span style="color:#006e28;">Y</span>)).
56​
57​ :-<span style="font-weight:bold;"> alias</span>(set, [member<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span> <span style="color:#0057ae;">as</span> set_member<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>]).
58​ :-<span style="font-weight:bold;"> alias</span>(words, [singular<span style="color:#0057ae;">//</span><span style="color:#b08000;">0</span> <span style="color:#0057ae;">as</span> peculiar<span style="color:#0057ae;">//</span><span style="color:#b08000;">0</span>]).
59​
60​ :-<span style="font-weight:bold;"> uses</span>(list, [append<span style="color:#0057ae;">/</span><span style="color:#b08000;">3</span>, member<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>]).
61​ :-<span style="font-weight:bold;"> uses</span>(queues, [new<span style="color:#0057ae;">/</span><span style="color:#b08000;">1</span> <span style="color:#0057ae;">as</span> new_queue<span style="color:#0057ae;">/</span><span style="color:#b08000;">1</span>]).
62​
63​ :-<span style="font-weight:bold;"> use_module</span>(module).
64​ :-<span style="font-weight:bold;"> use_module</span>(module, [append<span style="color:#0057ae;">/</span><span style="color:#b08000;">3</span>, member<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>]).
65​
66​ :-<span style="font-weight:bold;"> multifile</span>(zzz<span style="color:#0057ae;">/</span><span style="color:#b08000;">1</span>).
67​ :-<span style="font-weight:bold;"> multifile</span>(module<span style="color:#0057ae;">:</span>zzz<span style="color:#0057ae;">/</span><span style="color:#b08000;">1</span>).
68​ :-<span style="font-weight:bold;"> multifile</span>(object<span style="color:#0057ae;">::</span>zzz<span style="color:#0057ae;">/</span><span style="color:#b08000;">1</span>).
69​
70​ :-<span style="font-weight:bold;"> coinductive</span>(comember<span style="color:#0057ae;">/</span><span style="color:#b08000;">1</span>).
71​
72​ :-<span style="font-weight:bold;"> use_module</span>(module, [xxx<span style="color:#0057ae;">/</span><span style="color:#b08000;">1</span>, yyy<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>, zzz<span style="color:#0057ae;">/</span><span style="color:#b08000;">3</span>]).
73​ :-<span style="font-weight:bold;"> export</span>(bbb<span style="color:#0057ae;">/</span><span style="color:#b08000;">3</span>).
74​ :-<span style="font-weight:bold;"> reexport</span>(cccc<span style="color:#0057ae;">/</span><span style="color:#b08000;">4</span>).
75​
76​ :-<span style="font-weight:bold;"> public</span>(aaa<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>).
77​ :-<span style="font-weight:bold;"> meta_predicate</span>(aaa(<span style="color:#0057ae;">::</span>, <span style="color:#0057ae;">*</span>)).
78​ :-<span style="font-weight:bold;"> discontiguous</span>(aaa<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>).
79​ :-<span style="font-weight:bold;"> mode</span>(aaa(<span style="color:#0057ae;">+</span>callable, <span style="color:#0057ae;">?</span>integer), zero_or_one).
80​ :-<span style="font-weight:bold;"> info</span>(position<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>, [
81​ comment <span style="color:#0057ae;">is</span> <span style="color:#bf0303;">'Predicate brief description.'</span>,
82​ arguments <span style="color:#0057ae;">is</span> [<span style="color:#bf0303;">'Arg1'</span><span style="color:#0057ae;">-</span><span style="color:#bf0303;">'Arg1 description'</span>, <span style="color:#bf0303;">'Arg2'</span><span style="color:#0057ae;">-</span><span style="color:#bf0303;">'Arg2 description'</span>]
83​ ]).
84​
85​ :-<span style="font-weight:bold;"> public</span>(nt<span style="color:#0057ae;">//</span><span style="color:#b08000;">2</span>).
86​ :-<span style="font-weight:bold;"> meta_non_terminal</span>(nt(<span style="color:#b08000;">1</span>, <span style="color:#0057ae;">*</span>)).
87​
88​ :-<span style="font-weight:bold;"> protected</span>(bbb<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>).
89​ :-<span style="font-weight:bold;"> synchronized</span>(bbb<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>).
90​ :-<span style="font-weight:bold;"> mode</span>(bbb(<span style="color:#0057ae;">+</span>integer, <span style="color:#0057ae;">-</span>float), one).
91​ :-<span style="font-weight:bold;"> info</span>(bbb<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>, [
92​ comment <span style="color:#0057ae;">is</span> <span style="color:#bf0303;">'Predicate brief description.'</span>,
93​ argnames <span style="color:#0057ae;">is</span> [<span style="color:#bf0303;">'Arg1'</span>, <span style="color:#bf0303;">'Arg2'</span>]
94​ ]).
95​
96​ :-<span style="font-weight:bold;"> private</span>(ccc<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>).
97​ :-<span style="font-weight:bold;"> dynamic</span>(ccc<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>).
98​ :-<span style="font-weight:bold;"> mode</span>(ccc(<span style="color:#0057ae;">@</span>atom, <span style="color:#0057ae;">?</span>atom, <span style="color:#0057ae;">++</span>list, <span style="color:#0057ae;">--</span>ground), one_or_more).
99​ :-<span style="font-weight:bold;"> info</span>(ccc<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>, [
100​ comment <span style="color:#0057ae;">is</span> <span style="color:#bf0303;">'Predicate brief description.'</span>,
101​ argnames <span style="color:#0057ae;">is</span> [<span style="color:#bf0303;">'Arg1'</span>, <span style="color:#bf0303;">'Arg2'</span>]
102​ ]).
103​
104​ enumerating_entities(<span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Protocol</span>, <span style="color:#006e28;">Category</span>) <span style="color:#0057ae;">:-</span>
105​ <span style="color:#644a9b;">current_category</span>(<span style="color:#006e28;">Category</span>),
106​ <span style="color:#644a9b;">current_object</span>(<span style="color:#006e28;">Object</span>),
107​ <span style="color:#644a9b;">current_protocol</span>(<span style="color:#006e28;">Protocol</span>).
108​
109​ enumerating_properties <span style="color:#0057ae;">:-</span>
110​ <span style="color:#644a9b;">category_property</span>(<span style="color:#006e28;">Category</span>, <span style="color:#006e28;">Property</span>),
111​ <span style="color:#644a9b;">object_property</span>(<span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Property</span>),
112​ <span style="color:#644a9b;">protocol_property</span>(<span style="color:#006e28;">Protocol</span>, <span style="color:#006e28;">Property</span>).
113​
114​ creating_entities(<span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Protocol</span>, <span style="color:#006e28;">Category</span>) <span style="color:#0057ae;">:-</span>
115​ <span style="color:#644a9b;">create_category</span>(<span style="color:#006e28;">Category</span>, <span style="color:#006e28;">Relations</span>, <span style="color:#006e28;">Directives</span>, <span style="color:#006e28;">Clauses</span>),
116​ <span style="color:#644a9b;">create_object</span>(<span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Relations</span>, <span style="color:#006e28;">Directives</span>, <span style="color:#006e28;">Clauses</span>),
117​ <span style="color:#644a9b;">create_protocol</span>(<span style="color:#006e28;">Protocol</span>, <span style="color:#006e28;">Relations</span>, <span style="color:#006e28;">Directives</span>).
118​
119​ abolishing_entities(<span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Protocol</span>, <span style="color:#006e28;">Category</span>) <span style="color:#0057ae;">:-</span>
120​ <span style="color:#644a9b;">abolish_category</span>(<span style="color:#006e28;">Category</span>),
121​ <span style="color:#644a9b;">abolish_object</span>(<span style="color:#006e28;">Object</span>),
122​ <span style="color:#644a9b;">abolish_protocol</span>(<span style="color:#006e28;">Protocol</span>).
123​
124​ entity_relations <span style="color:#0057ae;">:-</span>
125​ <span style="color:#644a9b;">extends_object</span>(<span style="color:#006e28;">Prototype</span>, <span style="color:#006e28;">Parent</span>, <span style="color:#006e28;">Scope</span>),
126​ <span style="color:#644a9b;">extends_protocol</span>(<span style="color:#006e28;">Protocol1</span>, <span style="color:#006e28;">Protocol2</span>, <span style="color:#006e28;">Scope</span>),
127​ <span style="color:#644a9b;">extends_category</span>(<span style="color:#006e28;">Category1</span>, <span style="color:#006e28;">Category2</span>, <span style="color:#006e28;">Scope</span>),
128​ <span style="color:#644a9b;">implements_protocol</span>(<span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Protocol</span>, <span style="color:#006e28;">Scope</span>),
129​ <span style="color:#644a9b;">imports_category</span>(<span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Category</span>, <span style="color:#006e28;">Scope</span>),
130​ <span style="color:#644a9b;">instantiates_class</span>(<span style="color:#006e28;">Instance</span>, <span style="color:#006e28;">Class</span>, <span style="color:#006e28;">Scope</span>),
131​ <span style="color:#644a9b;">specializes_class</span>(<span style="color:#006e28;">Class</span>, <span style="color:#006e28;">Superclass</span>, <span style="color:#006e28;">Scope</span>),
132​ <span style="color:#644a9b;">complements_object</span>(<span style="color:#006e28;">Category</span>, <span style="color:#006e28;">Object</span>),
133​ <span style="color:#644a9b;">conforms_to_protocol</span>(<span style="color:#006e28;">ObjOrCtg</span>, <span style="color:#006e28;">Protocol</span>, <span style="color:#006e28;">Scope</span>).
134​
135​ event_handling <span style="color:#0057ae;">:-</span>
136​ <span style="color:#644a9b;">abolish_events</span>(<span style="color:#006e28;">Event</span>, <span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Message</span>, <span style="color:#006e28;">Sender</span>, <span style="color:#006e28;">Monitor</span>),
137​ <span style="color:#644a9b;">current_event</span>(<span style="color:#006e28;">Event</span>, <span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Message</span>, <span style="color:#006e28;">Sender</span>, <span style="color:#006e28;">Monitor</span>),
138​ <span style="color:#644a9b;">define_events</span>(<span style="color:#006e28;">Event</span>, <span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Message</span>, <span style="color:#006e28;">Sender</span>, <span style="color:#006e28;">Monitor</span>).
139​
140​ multi_threading <span style="color:#0057ae;">:-</span>
141​ <span style="color:#644a9b;">threaded</span>(<span style="color:#006e28;">Goals</span>),
142​ <span style="color:#644a9b;">threaded_call</span>(<span style="color:#006e28;">Goal</span>),
143​ <span style="color:#644a9b;">threaded_once</span>(<span style="color:#006e28;">Goal</span>),
144​ <span style="color:#644a9b;">threaded_ignore</span>(<span style="color:#006e28;">Goal</span>),
145​ <span style="color:#644a9b;">threaded_exit</span>(<span style="color:#006e28;">Goal</span>),
146​ <span style="color:#644a9b;">threaded_peek</span>(<span style="color:#006e28;">Goal</span>),
147​ <span style="color:#644a9b;">threaded_wait</span>(<span style="color:#006e28;">Notification</span>),
148​ <span style="color:#644a9b;">threaded_notify</span>(<span style="color:#006e28;">Notification</span>).
149​
150​ engines <span style="color:#0057ae;">:-</span>
151​ <span style="color:#644a9b;">threaded_engine</span>(<span style="color:#006e28;">Engine</span>),
152​ <span style="color:#644a9b;">threaded_engine_create</span>(<span style="color:#006e28;">AnswerTemplate</span>, <span style="color:#006e28;">Goal</span>, <span style="color:#006e28;">Engine</span>),
153​ <span style="color:#644a9b;">threaded_engine_destroy</span>(<span style="color:#006e28;">Engine</span>),
154​ <span style="color:#644a9b;">threaded_engine_self</span>(<span style="color:#006e28;">Engine</span>),
155​ <span style="color:#644a9b;">threaded_engine_next</span>(<span style="color:#006e28;">Engine</span>, <span style="color:#006e28;">Answer</span>),
156​ <span style="color:#644a9b;">threaded_engine_next_reified</span>(<span style="color:#006e28;">Engine</span>, <span style="color:#006e28;">Answer</span>),
157​ <span style="color:#644a9b;">threaded_engine_yield</span>(<span style="color:#006e28;">Answer</span>),
158​ <span style="color:#644a9b;">threaded_engine_post</span>(<span style="color:#006e28;">Engine</span>, <span style="color:#006e28;">Term</span>),
159​ <span style="color:#644a9b;">threaded_engine_fetch</span>(<span style="color:#006e28;">Term</span>).
160​
161​ compiling_and_loading <span style="color:#0057ae;">:-</span>
162​ <span style="color:#644a9b;">logtalk_compile</span>(<span style="color:#006e28;">File</span>, <span style="color:#006e28;">Options</span>),
163​ <span style="color:#644a9b;">logtalk_load</span>(<span style="color:#006e28;">File</span>, <span style="color:#006e28;">Options</span>),
164​ <span style="color:#644a9b;">logtalk_library_path</span>(<span style="color:#006e28;">Library</span>, <span style="color:#006e28;">Path</span>),
165​ <span style="color:#644a9b;">logtalk_load_context</span>(<span style="color:#006e28;">Key</span>, <span style="color:#006e28;">Value</span>),
166​ <span style="color:#644a9b;">logtalk_make</span>(<span style="color:#006e28;">Action</span>),
167​ <span style="color:#644a9b;">logtalk_make</span>,
168​ <span style="color:#644a9b;">logtalk_make_target_action</span>(<span style="color:#006e28;">Target</span>).
169​
170​ flags <span style="color:#0057ae;">:-</span>
171​ <span style="color:#644a9b;">current_logtalk_flag</span>(<span style="color:#006e28;">Flag</span>, <span style="color:#006e28;">Value</span>),
172​ <span style="color:#644a9b;">set_logtalk_flag</span>(<span style="color:#006e28;">Flag</span>, <span style="color:#006e28;">Value</span>),
173​ <span style="color:#644a9b;">create_logtalk_flag</span>(<span style="color:#006e28;">Flag</span>, <span style="color:#006e28;">Value</span>, <span style="color:#006e28;">Options</span>).
174​
175​ execution_context_methods <span style="color:#0057ae;">:-</span>
176​ <span style="color:#644a9b;">context</span>(<span style="color:#006e28;">Context</span>),
177​ <span style="color:#644a9b;">parameter</span>(<span style="color:#006e28;">N</span>, <span style="color:#006e28;">Parameter</span>),
178​ <span style="color:#644a9b;">self</span>(<span style="color:#006e28;">Self</span>),
179​ <span style="color:#644a9b;">sender</span>(<span style="color:#006e28;">Sender</span>),
180​ <span style="color:#644a9b;">this</span>(<span style="color:#006e28;">This</span>).
181​
182​ reflection_methods <span style="color:#0057ae;">:-</span>
183​ <span style="color:#644a9b;">current_predicate</span>(<span style="color:#006e28;">Predicate</span>),
184​ <span style="color:#644a9b;">predicate_property</span>(<span style="color:#006e28;">Predicate</span>, <span style="color:#006e28;">Property</span>).
185​
186​ database_methods <span style="color:#0057ae;">:-</span>
187​ <span style="color:#644a9b;">abolish</span>(<span style="color:#006e28;">Name</span><span style="color:#0057ae;">/</span><span style="color:#006e28;">Arity</span>),
188​ <span style="color:#644a9b;">asserta</span>(<span style="color:#006e28;">Clause</span>),
189​ <span style="color:#644a9b;">assertz</span>(<span style="color:#006e28;">Clause</span>),
190​ <span style="color:#644a9b;">clause</span>(<span style="color:#006e28;">Head</span>, <span style="color:#006e28;">Body</span>),
191​ <span style="color:#644a9b;">retract</span>(<span style="color:#006e28;">Clause</span>),
192​ <span style="color:#644a9b;">retractall</span>(<span style="color:#006e28;">Head</span>).
193​
194​ exception_methods <span style="color:#0057ae;">:-</span>
195​ <span style="color:#644a9b;">catch</span>(<span style="color:#006e28;">Goal</span>, <span style="color:#006e28;">Error</span>, <span style="color:#006e28;">Catcher</span>),
196​ <span style="color:#644a9b;">throw</span>(<span style="color:#006e28;">Error</span>),
197​ <span style="color:#644a9b;">instantiation_error</span>,
198​ <span style="color:#644a9b;">type_error</span>(<span style="color:#006e28;">Type</span>, <span style="color:#006e28;">Culprit</span>),
199​ <span style="color:#644a9b;">domain_error</span>(<span style="color:#006e28;">Domain</span>, <span style="color:#006e28;">Culprit</span>),
200​ <span style="color:#644a9b;">existence_error</span>(<span style="color:#006e28;">Thing</span>, <span style="color:#006e28;">Culprit</span>),
201​ <span style="color:#644a9b;">permission_error</span>(<span style="color:#006e28;">Operation</span>, <span style="color:#006e28;">Permission</span>, <span style="color:#006e28;">Culprit</span>),
202​ <span style="color:#644a9b;">representation_error</span>(<span style="color:#006e28;">Flag</span>),
203​ <span style="color:#644a9b;">evaluation_error</span>(<span style="color:#006e28;">Exception</span>),
204​ <span style="color:#644a9b;">resource_error</span>(<span style="color:#006e28;">Resource</span>),
205​ <span style="color:#644a9b;">syntax_error</span>(<span style="color:#006e28;">Description</span>),
206​ <span style="color:#644a9b;">system_error</span>.
207​
208​ all_solutions_methods <span style="color:#0057ae;">:-</span>
209​ <span style="color:#644a9b;">bagof</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Goal</span>, <span style="color:#006e28;">List</span>),
210​ <span style="color:#644a9b;">bagof</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Var</span><span style="color:#0057ae;">^</span><span style="color:#006e28;">Goal</span>, <span style="color:#006e28;">List</span>),
211​ <span style="color:#644a9b;">findall</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Goal</span>, <span style="color:#006e28;">List</span>),
212​ <span style="color:#644a9b;">forall</span>(<span style="color:#006e28;">Generate</span>, <span style="color:#006e28;">Test</span>),
213​ <span style="color:#644a9b;">setof</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Goal</span>, <span style="color:#006e28;">List</span>),
214​ <span style="color:#644a9b;">setof</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Var1</span><span style="color:#0057ae;">^</span><span style="color:#006e28;">Var2</span><span style="color:#0057ae;">^</span><span style="color:#006e28;">Goal</span>, <span style="color:#006e28;">List</span>).
215​
216​ event_handler_methods <span style="color:#0057ae;">:-</span>
217​ <span style="color:#644a9b;">before</span>(<span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Message</span>, <span style="color:#006e28;">Sender</span>),
218​ <span style="color:#644a9b;">after</span>(<span style="color:#006e28;">Object</span>, <span style="color:#006e28;">Message</span>, <span style="color:#006e28;">Sender</span>).
219​
220​ message_forwarding_method <span style="color:#0057ae;">:-</span>
221​ <span style="color:#644a9b;">forward</span>(<span style="color:#006e28;">Message</span>).
222​
223​ dcg_rules_parsing_methods <span style="color:#0057ae;">:-</span>
224​ <span style="color:#644a9b;">phrase</span>(<span style="color:#006e28;">NonTerminal</span>, <span style="color:#006e28;">Input</span>, <span style="color:#006e28;">Rest</span>).
225​
226​ term_expansion_methods <span style="color:#0057ae;">:-</span>
227​ <span style="color:#644a9b;">expand_term</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Expanded</span>),
228​ <span style="color:#644a9b;">expand_goal</span>(<span style="color:#006e28;">Goal</span>, <span style="color:#006e28;">Expanded</span>),
229​ <span style="color:#644a9b;">term_expansion</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Expanded</span>),
230​ <span style="color:#644a9b;">goal_expansion</span>(<span style="color:#006e28;">Goal</span>, <span style="color:#006e28;">Expanded</span>).
231​
232​ message_sending <span style="color:#0057ae;">:-</span>
233​ <span style="color:#006e28;">Object</span><span style="color:#0057ae;">::</span><span style="color:#006e28;">Message</span>,
234​ <span style="color:#0057ae;">::</span><span style="color:#006e28;">Message</span>,
235​ <span style="color:#0057ae;">^^</span><span style="color:#006e28;">Message</span>.
236​
237​ calling_external_code <span style="color:#0057ae;">:-</span>
238​ <span style="color:#0057ae;">{</span>goal1, goal2, goal3<span style="color:#0057ae;">}</span>.
239​
240​ context_switching_calls <span style="color:#0057ae;">:-</span>
241​ <span style="color:#006e28;">Object</span><span style="color:#0057ae;">&lt;&lt;</span><span style="color:#006e28;">Goal</span>.
242​
243​ lambda_expressions <span style="color:#0057ae;">:-</span>
244​ <span style="color:#0057ae;">{</span><span style="color:#006e28;">X</span>,<span style="color:#006e28;">Y</span>,<span style="color:#006e28;">Z</span><span style="color:#0057ae;">}/</span>[<span style="color:#006e28;">P</span>,<span style="color:#006e28;">Q</span>]<span style="color:#0057ae;">&gt;&gt;</span><span style="color:#006e28;">Goal</span>.
245​
246​ explicitly_qualified_module_calls <span style="color:#0057ae;">:-</span>
247​ <span style="color:#006e28;">Module</span><span style="color:#0057ae;">:</span><span style="color:#006e28;">Goal</span>.
248​
249​ if_then_else <span style="color:#0057ae;">:-</span>
250​ ( <span style="color:#006e28;">If</span> <span style="color:#0057ae;">-&gt;</span>
251​ <span style="color:#006e28;">Then</span>
252​ <span style="color:#0057ae;">;</span> <span style="color:#006e28;">Else</span>
253​ ).
254​
255​ numbers <span style="color:#0057ae;">:-</span>
256​ <span style="color:#006e28;">X1</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">13</span>, <span style="color:#006e28;">X2</span> <span style="color:#0057ae;">is</span> <span style="color:#0057ae;">-</span><span style="color:#b08000;">13</span>, <span style="color:#006e28;">X3</span> <span style="color:#0057ae;">is</span> <span style="color:#0057ae;">+</span><span style="color:#b08000;">13</span>,
257​ <span style="color:#006e28;">Y1</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">13.13</span>, <span style="color:#006e28;">Y2</span> <span style="color:#0057ae;">is</span> <span style="color:#0057ae;">-</span><span style="color:#b08000;">13.13</span>, <span style="color:#006e28;">Y3</span> <span style="color:#0057ae;">is</span> <span style="color:#0057ae;">+</span><span style="color:#b08000;">13.13</span>,
258​ <span style="color:#006e28;">Z1</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">13.13e-23</span>, <span style="color:#006e28;">Z2</span> <span style="color:#0057ae;">is</span> <span style="color:#0057ae;">-</span><span style="color:#b08000;">13.13e-23</span>, <span style="color:#006e28;">Z3</span> <span style="color:#0057ae;">is</span> <span style="color:#0057ae;">+</span><span style="color:#b08000;">13.13e-23</span>,
259​ <span style="color:#006e28;">C1</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0'A</span>, <span style="color:#006e28;">C2</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0''</span>, <span style="color:#006e28;">C3</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0'&quot;</span>, <span style="color:#006e28;">C4</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0'%</span>,
260​ <span style="color:#006e28;">C5</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0'\n</span>, <span style="color:#006e28;">C6</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0'\\</span>, <span style="color:#006e28;">C7</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0'\'</span>, <span style="color:#006e28;">C8</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0'\&quot;</span>, <span style="color:#006e28;">C9</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0'\`</span>,
261​ <span style="color:#006e28;">B1</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0b1011101</span>,
262​ <span style="color:#006e28;">O1</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0o1234560</span>,
263​ <span style="color:#006e28;">H1</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">0x1234567890abcDEF</span>.
264​
265​ functions <span style="color:#0057ae;">:-</span>
266​ <span style="color:#006e28;">A</span> <span style="color:#0057ae;">is</span> <span style="color:#644a9b;">atan</span>(<span style="color:#b08000;">3.14</span>) <span style="color:#0057ae;">+</span> <span style="color:#644a9b;">atan2</span>(<span style="color:#b08000;">1</span>, <span style="color:#b08000;">0</span>) <span style="color:#0057ae;">+</span> <span style="color:#644a9b;">acos</span>(<span style="color:#b08000;">0.5</span>) <span style="color:#0057ae;">+</span> <span style="color:#644a9b;">asin</span>(<span style="color:#b08000;">0.5</span>) <span style="color:#0057ae;">+</span> <span style="color:#644a9b;">sin</span>(<span style="color:#b08000;">0.77</span>) <span style="color:#0057ae;">-</span> <span style="color:#644a9b;">cos</span>(<span style="color:#b08000;">123.23</span>) <span style="color:#0057ae;">-</span> <span style="color:#644a9b;">tan</span>(<span style="color:#b08000;">0.33</span>),
267​ <span style="color:#006e28;">B</span> <span style="color:#0057ae;">is</span> <span style="color:#644a9b;">sign</span>(<span style="color:#0057ae;">-</span><span style="color:#b08000;">12</span>) <span style="color:#0057ae;">*</span> <span style="color:#644a9b;">abs</span>(<span style="color:#b08000;">35</span><span style="color:#0057ae;">/</span><span style="color:#b08000;">78</span>),
268​ <span style="color:#006e28;">C</span> <span style="color:#0057ae;">is</span> <span style="color:#644a9b;">truncate</span>(<span style="color:#b08000;">3.14</span>) <span style="color:#0057ae;">+</span> <span style="color:#644a9b;">round</span>(<span style="color:#0057ae;">-</span><span style="color:#b08000;">7.8</span>) <span style="color:#0057ae;">-</span> <span style="color:#644a9b;">ceiling</span>(<span style="color:#b08000;">111.88</span>),
269​ <span style="color:#006e28;">D</span> <span style="color:#0057ae;">is</span> <span style="color:#644a9b;">exp</span>(<span style="color:#b08000;">3.8</span>) <span style="color:#0057ae;">-</span> <span style="color:#644a9b;">log</span>(<span style="color:#b08000;">123.98</span>) <span style="color:#0057ae;">/</span> <span style="color:#644a9b;">sqrt</span>(<span style="color:#b08000;">33</span>) <span style="color:#0057ae;">*</span> <span style="color:#b08000;">23</span> <span style="color:#0057ae;">**</span> <span style="color:#b08000;">4</span> <span style="color:#0057ae;">+</span> <span style="color:#b08000;">12345</span><span style="color:#0057ae;">^</span><span style="color:#b08000;">2</span>,
270​ <span style="color:#006e28;">E</span> <span style="color:#0057ae;">is</span> <span style="color:#644a9b;">rem</span>(<span style="color:#b08000;">3</span>, <span style="color:#b08000;">2</span>) <span style="color:#0057ae;">+</span> <span style="color:#644a9b;">mod</span>(<span style="color:#b08000;">5</span>, <span style="color:#b08000;">3</span>) <span style="color:#0057ae;">-</span> <span style="color:#644a9b;">div</span>(<span style="color:#b08000;">8</span>, <span style="color:#b08000;">4</span>) <span style="color:#0057ae;">*</span> <span style="color:#b08000;">2</span> <span style="color:#0057ae;">rem</span> <span style="color:#b08000;">2</span> <span style="color:#0057ae;">//</span> <span style="color:#b08000;">5</span> <span style="color:#0057ae;">mod</span> <span style="color:#b08000;">3</span> <span style="color:#0057ae;">-</span> <span style="color:#b08000;">8</span> <span style="color:#0057ae;">div</span> <span style="color:#b08000;">4</span> <span style="color:#0057ae;">+</span> <span style="color:#0057ae;">pi</span> <span style="color:#0057ae;">*</span> <span style="color:#0057ae;">e</span>,
271​ <span style="color:#006e28;">F</span> <span style="color:#0057ae;">is</span> <span style="color:#644a9b;">float_fractional_part</span>(<span style="color:#b08000;">3.14</span>) <span style="color:#0057ae;">+</span> <span style="color:#644a9b;">float_integer_part</span>(<span style="color:#b08000;">3.14</span>),
272​ <span style="color:#006e28;">G</span> <span style="color:#0057ae;">is</span> <span style="color:#644a9b;">float</span>(<span style="color:#b08000;">33</span>) <span style="color:#0057ae;">+</span> <span style="color:#644a9b;">floor</span>(<span style="color:#b08000;">99.99</span>),
273​ <span style="color:#006e28;">I</span> <span style="color:#0057ae;">is</span> <span style="color:#644a9b;">min</span>(<span style="color:#b08000;">3</span>,<span style="color:#b08000;">4</span>) <span style="color:#0057ae;">+</span> <span style="color:#644a9b;">max</span>(<span style="color:#b08000;">4</span>,<span style="color:#b08000;">5</span>).
274​
275​ bitwise <span style="color:#0057ae;">:-</span>
276​ <span style="color:#006e28;">A</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">16</span> <span style="color:#0057ae;">&gt;&gt;</span> <span style="color:#b08000;">2</span>,
277​ <span style="color:#006e28;">B</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">16</span> <span style="color:#0057ae;">&lt;&lt;</span> <span style="color:#b08000;">2</span>,
278​ <span style="color:#006e28;">C</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">10</span> <span style="color:#0057ae;">/\</span> <span style="color:#b08000;">12</span>,
279​ <span style="color:#006e28;">D</span> <span style="color:#0057ae;">is</span> <span style="color:#b08000;">10</span> <span style="color:#0057ae;">\/</span> <span style="color:#b08000;">12</span>,
280​ <span style="color:#006e28;">E</span> <span style="color:#0057ae;">is</span> \ <span style="color:#b08000;">10</span>,
281​ <span style="color:#006e28;">F</span> <span style="color:#0057ae;">is</span> <span style="color:#644a9b;">xor</span>(<span style="color:#b08000;">13</span>, <span style="color:#b08000;">7</span>).
282​
283​ term_unification <span style="color:#0057ae;">:-</span>
284​ <span style="color:#006e28;">Term1</span> <span style="color:#0057ae;">=</span> <span style="color:#006e28;">Term2</span>,
285​ <span style="color:#006e28;">Term1</span> <span style="color:#0057ae;">\=</span> <span style="color:#006e28;">Term2</span>,
286​ <span style="color:#644a9b;">unify_with_occurs_check</span>(<span style="color:#006e28;">Term1</span>, <span style="color:#006e28;">Term2</span>),
287​ <span style="color:#644a9b;">subsumes_term</span>(<span style="color:#006e28;">General</span>, <span style="color:#006e28;">Specific</span>).
288​
289​ term_testing <span style="color:#0057ae;">:-</span>
290​ <span style="color:#644a9b;">atom</span>(<span style="color:#006e28;">Atom</span>),
291​ <span style="color:#644a9b;">atomic</span>(<span style="color:#006e28;">Atomic</span>),
292​ <span style="color:#644a9b;">integer</span>(<span style="color:#006e28;">Integer</span>),
293​ <span style="color:#644a9b;">float</span>(<span style="color:#006e28;">Float</span>),
294​ <span style="color:#644a9b;">callable</span>(<span style="color:#006e28;">Term</span>),
295​ <span style="color:#644a9b;">compound</span>(<span style="color:#006e28;">Term</span>),
296​ <span style="color:#644a9b;">nonvar</span>(<span style="color:#006e28;">Term</span>),
297​ <span style="color:#644a9b;">var</span>(<span style="color:#006e28;">Term</span>),
298​ <span style="color:#644a9b;">number</span>(<span style="color:#006e28;">Number</span>),
299​ <span style="color:#644a9b;">ground</span>(<span style="color:#006e28;">Term</span>),
300​ <span style="color:#644a9b;">acyclic_term</span>(<span style="color:#006e28;">Term</span>).
301​
302​ term_comparison <span style="color:#0057ae;">:-</span>
303​ <span style="color:#644a9b;">compare</span>(<span style="color:#006e28;">Order</span>, <span style="color:#006e28;">Term1</span>, <span style="color:#006e28;">Term2</span>),
304​ <span style="color:#006e28;">Term1</span> <span style="color:#0057ae;">==</span> <span style="color:#006e28;">Term2</span>,
305​ <span style="color:#006e28;">Term1</span> <span style="color:#0057ae;">\==</span> <span style="color:#006e28;">Term2</span>,
306​ <span style="color:#006e28;">Term1</span> <span style="color:#0057ae;">@&lt;</span> <span style="color:#006e28;">Term2</span>,
307​ <span style="color:#006e28;">Term1</span> <span style="color:#0057ae;">@=&lt;</span> <span style="color:#006e28;">Term2</span>,
308​ <span style="color:#006e28;">Term1</span> <span style="color:#0057ae;">@&gt;=</span> <span style="color:#006e28;">Term2</span>,
309​ <span style="color:#006e28;">Term1</span> <span style="color:#0057ae;">@&gt;</span> <span style="color:#006e28;">Term2</span>.
310​
311​ term_creation_and_decomposition <span style="color:#0057ae;">:-</span>
312​ <span style="color:#644a9b;">functor</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Name</span>, <span style="color:#006e28;">Arity</span>),
313​ <span style="color:#644a9b;">arg</span>(<span style="color:#006e28;">N</span>, <span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Arg</span>),
314​ <span style="color:#006e28;">Term</span> <span style="color:#0057ae;">=..</span> [<span style="color:#006e28;">Functor</span>| <span style="color:#006e28;">Args</span>],
315​ <span style="color:#644a9b;">copy_term</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Copy</span>),
316​ <span style="color:#644a9b;">numbervars</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Start</span>, <span style="color:#006e28;">End</span>),
317​ <span style="color:#644a9b;">term_variables</span>(<span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Variables</span>).
318​
319​ arithemtic_evaluation <span style="color:#0057ae;">:-</span>
320​ <span style="color:#006e28;">X</span> <span style="color:#0057ae;">is</span> <span style="color:#006e28;">Expression</span>.
321​
322​ arithemtic_comparison <span style="color:#0057ae;">:-</span>
323​ <span style="color:#006e28;">Exp1</span> <span style="color:#0057ae;">=:=</span> <span style="color:#006e28;">Exp2</span>,
324​ <span style="color:#006e28;">Exp1</span> <span style="color:#0057ae;">=\=</span> <span style="color:#006e28;">Exp2</span>,
325​ <span style="color:#006e28;">Exp1</span> <span style="color:#0057ae;">&lt;</span> <span style="color:#006e28;">Exp2</span>,
326​ <span style="color:#006e28;">Exp1</span> <span style="color:#0057ae;">=&lt;</span> <span style="color:#006e28;">Exp2</span>,
327​ <span style="color:#006e28;">Exp1</span> <span style="color:#0057ae;">&gt;</span> <span style="color:#006e28;">Exp2</span>,
328​ <span style="color:#006e28;">Exp1</span> <span style="color:#0057ae;">&gt;=</span> <span style="color:#006e28;">Exp2</span>.
329​
330​ stream_selection_and_control <span style="color:#0057ae;">:-</span>
331​ <span style="color:#644a9b;">current_input</span>(<span style="color:#006e28;">Stream</span>),
332​ <span style="color:#644a9b;">current_output</span>(<span style="color:#006e28;">Stream</span>),
333​ <span style="color:#644a9b;">set_input</span>(<span style="color:#006e28;">Stream</span>),
334​ <span style="color:#644a9b;">set_output</span>(<span style="color:#006e28;">Stream</span>),
335​ <span style="color:#644a9b;">open</span>(<span style="color:#006e28;">Source</span>, <span style="color:#006e28;">Mode</span>, <span style="color:#006e28;">Stream</span>, <span style="color:#006e28;">Options</span>),
336​ <span style="color:#644a9b;">close</span>(<span style="color:#006e28;">Stream</span>),
337​ <span style="color:#644a9b;">flush_output</span>(<span style="color:#006e28;">Stream</span>),
338​ <span style="color:#644a9b;">stream_property</span>(<span style="color:#006e28;">Stream</span>, <span style="color:#006e28;">Property</span>),
339​ <span style="color:#644a9b;">at_end_of_stream</span>(<span style="color:#006e28;">Stream</span>),
340​ <span style="color:#644a9b;">set_stream_position</span>(<span style="color:#006e28;">Stream</span>, <span style="color:#006e28;">Position</span>),
341​ <span style="color:#644a9b;">flush_output</span>,
342​ <span style="color:#644a9b;">at_end_of_stream</span>.
343​
344​ character_input_output <span style="color:#0057ae;">:-</span>
345​ <span style="color:#644a9b;">get_char</span>(<span style="color:#006e28;">Char</span>),
346​ <span style="color:#644a9b;">get_code</span>(<span style="color:#006e28;">Code</span>),
347​ <span style="color:#644a9b;">peek_char</span>(<span style="color:#006e28;">Char</span>),
348​ <span style="color:#644a9b;">peek_code</span>(<span style="color:#006e28;">Code</span>),
349​ <span style="color:#644a9b;">put_char</span>(<span style="color:#006e28;">Char</span>),
350​ <span style="color:#644a9b;">put_code</span>(<span style="color:#006e28;">Code</span>),
351​ <span style="color:#644a9b;">nl</span>(<span style="color:#006e28;">Stream</span>),
352​ <span style="color:#644a9b;">nl</span>.
353​
354​ byte_input_output <span style="color:#0057ae;">:-</span>
355​ <span style="color:#644a9b;">get_byte</span>(<span style="color:#006e28;">Byte</span>),
356​ <span style="color:#644a9b;">peek_byte</span>(<span style="color:#006e28;">Byte</span>),
357​ <span style="color:#644a9b;">put_byte</span>(<span style="color:#006e28;">Byte</span>).
358​
359​ term_input_output <span style="color:#0057ae;">:-</span>
360​ <span style="color:#644a9b;">read</span>(<span style="color:#006e28;">Term</span>),
361​ <span style="color:#644a9b;">read_term</span>(<span style="color:#006e28;">Stream</span>, <span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Options</span>),
362​ <span style="color:#644a9b;">write</span>(<span style="color:#006e28;">Term</span>),
363​ <span style="color:#644a9b;">write</span>(<span style="color:#006e28;">Term</span>),
364​ <span style="color:#644a9b;">write_canonical</span>(<span style="color:#006e28;">Term</span>),
365​ <span style="color:#644a9b;">write_term</span>(<span style="color:#006e28;">Stream</span>, <span style="color:#006e28;">Term</span>, <span style="color:#006e28;">Options</span>),
366​ <span style="color:#644a9b;">current_op</span>(<span style="color:#006e28;">Precedence</span>, <span style="color:#006e28;">Associativity</span>, <span style="color:#006e28;">Operator</span>),
367​ <span style="color:#644a9b;">op</span>(<span style="color:#006e28;">Precedence</span>, <span style="color:#006e28;">Associativity</span>, <span style="color:#006e28;">Operator</span>),
368​ <span style="color:#644a9b;">current_char_conversion</span>(<span style="color:#006e28;">InChar</span>, <span style="color:#006e28;">OutChar</span>),
369​ <span style="color:#644a9b;">char_conversion</span>(<span style="color:#006e28;">InChar</span>, <span style="color:#006e28;">OutChar</span>).
370​
371​ logic_and_control <span style="color:#0057ae;">:-</span>
372​ <span style="color:#0057ae;">\+</span> <span style="color:#006e28;">Goal</span>,
373​ <span style="color:#644a9b;">call</span>(<span style="color:#006e28;">Goal</span>),
374​ <span style="color:#644a9b;">once</span>(<span style="color:#006e28;">Goal</span>),
375​ <span style="color:#644a9b;">ignore</span>(<span style="color:#006e28;">Goal</span>),
376​ <span style="color:#644a9b;">true</span>,
377​ <span style="color:#644a9b;">fail</span>,
378​ <span style="color:#644a9b;">false</span>,
379​ <span style="color:#644a9b;">repeat</span>,
380​ <span style="color:#0057ae;">!</span>.
381​
382​ atomic_term_processing <span style="color:#0057ae;">:-</span>
383​ <span style="color:#644a9b;">atom_length</span>(<span style="color:#006e28;">Atom</span>, <span style="color:#006e28;">Length</span>),
384​ <span style="color:#644a9b;">atom_chars</span>(<span style="color:#006e28;">Atom</span>, <span style="color:#006e28;">Chars</span>),
385​ <span style="color:#644a9b;">atom_codes</span>(<span style="color:#006e28;">Atom</span>, <span style="color:#006e28;">Codes</span>),
386​ <span style="color:#644a9b;">atom_concat</span>(<span style="color:#006e28;">Atom1</span>, <span style="color:#006e28;">Atom2</span>, <span style="color:#006e28;">Atom</span>),
387​ <span style="color:#644a9b;">sub_atom</span>(<span style="color:#006e28;">Atom</span>, <span style="color:#006e28;">Before</span>, <span style="color:#006e28;">Length</span>, <span style="color:#006e28;">After</span>, <span style="color:#006e28;">SubAtom</span>),
388​ <span style="color:#644a9b;">char_code</span>(<span style="color:#006e28;">Char</span>, <span style="color:#006e28;">Code</span>),
389​ <span style="color:#644a9b;">number_chars</span>(<span style="color:#006e28;">Number</span>, <span style="color:#006e28;">Chars</span>),
390​ <span style="color:#644a9b;">number_codes</span>(<span style="color:#006e28;">Number</span>, <span style="color:#006e28;">Codes</span>).
391​
392​ implementation_defined_hooks <span style="color:#0057ae;">:-</span>
393​ <span style="color:#644a9b;">current_prolog_flag</span>(<span style="color:#006e28;">Flag</span>, <span style="color:#006e28;">Value</span>),
394​ <span style="color:#644a9b;">set_prolog_flag</span>(<span style="color:#006e28;">Flag</span>, <span style="color:#006e28;">Value</span>),
395​ <span style="color:#644a9b;">halt</span>(<span style="color:#006e28;">ExitCode</span>),
396​ <span style="color:#644a9b;">halt</span>.
397​
398​ sorting <span style="color:#0057ae;">:-</span>
399​ <span style="color:#644a9b;">keysort</span>(<span style="color:#006e28;">List</span>, <span style="color:#006e28;">Sorted</span>),
400​ <span style="color:#644a9b;">sort</span>(<span style="color:#006e28;">List</span>, <span style="color:#006e28;">Sorted</span>).
401​
402​ <span style="color:#644a9b;">number</span>(<span style="color:#006e28;">C</span>) <span style="color:#0057ae;">--&gt;</span> <span style="color:#bf0303;">&quot;+&quot;</span>, <span style="color:#644a9b;">number</span>(<span style="color:#006e28;">C</span>).
403​ <span style="color:#644a9b;">number</span>(<span style="color:#006e28;">C</span>) <span style="color:#0057ae;">--&gt;</span> <span style="color:#bf0303;">&quot;-&quot;</span>, <span style="color:#644a9b;">number</span>(<span style="color:#006e28;">X</span>), <span style="color:#0057ae;">{</span><span style="color:#006e28;">C</span> <span style="color:#0057ae;">is</span> <span style="color:#0057ae;">-</span><span style="color:#006e28;">X</span><span style="color:#0057ae;">}</span>.
404​ <span style="color:#644a9b;">number</span>(<span style="color:#006e28;">X</span>) <span style="color:#0057ae;">--&gt;</span> [<span style="color:#006e28;">C</span>], <span style="color:#0057ae;">{</span><span style="color:#b08000;">0'0</span> <span style="color:#0057ae;">=&lt;</span> <span style="color:#006e28;">C</span>, <span style="color:#006e28;">C</span> <span style="color:#0057ae;">=&lt;</span> <span style="color:#b08000;">0'9</span>, <span style="color:#006e28;">X</span> <span style="color:#0057ae;">is</span> <span style="color:#006e28;">C</span> <span style="color:#0057ae;">-</span> <span style="color:#b08000;">0'0</span><span style="color:#0057ae;">}</span>.
405​
406​ escape_sequences <span style="color:#0057ae;">:-</span>
407​ <span style="color:#644a9b;">write</span>(<span style="color:#bf0303;">'Quoted atom with a quote ('') inside.'</span>),
408​ <span style="color:#644a9b;">write</span>(<span style="color:#bf0303;">'Quoted atom with a backslash (\\) inside.'</span>),
409​ <span style="color:#644a9b;">write</span>(<span style="color:#bf0303;">'Quoted atom with control escape sequences: \a \b \r \f \t \n \v'</span>),
410​ <span style="color:#644a9b;">write</span>(<span style="color:#bf0303;">'Quoted atom with an octal escape sequence: \123\.'</span>),
411​ <span style="color:#644a9b;">write</span>(<span style="color:#bf0303;">'Quoted atom with an hexadecimal escape sequence: \x123f\.'</span>).
412​
413​:-<span style="font-weight:bold;"> end_object.</span>
414​
415​
416​:-<span style="font-weight:bold;"> object</span>(class,
417​ <span style="font-weight:bold;">implements</span>(protected<span style="color:#0057ae;">::</span>protocol),
418​ <span style="font-weight:bold;">imports</span>(private<span style="color:#0057ae;">::</span>category),
419​ <span style="font-weight:bold;">instantiates</span>(metaclass),
420​ <span style="font-weight:bold;">specializes</span>(superclass)).
421​
422​:-<span style="font-weight:bold;"> end_object.</span>
423​
424​
425​:-<span style="font-weight:bold;"> object</span>(parametric(<span style="color:#006e28;">Parameter</span>, <span style="color:#bf0303;">&quot;String&quot;</span>, <span style="color:#b08000;">33.78</span>),
426​ <span style="font-weight:bold;">implements</span>(protocol),
427​ <span style="font-weight:bold;">imports</span>(category),
428​ <span style="font-weight:bold;">extends</span>(parent(<span style="color:#006e28;">Parameter</span>))).
429​
430​:-<span style="font-weight:bold;"> end_object.</span>
431​
432​
433​:-<span style="font-weight:bold;"> category</span>(category,
434​ <span style="font-weight:bold;">implements</span>(protocol),
435​ <span style="font-weight:bold;">extends</span>(other_category)).
436​
437​:-<span style="font-weight:bold;"> end_category.</span>
438​
439​
440​:-<span style="font-weight:bold;"> protocol</span>(extended,
441​ <span style="font-weight:bold;">extends</span>(minimal)).
442​
443​:-<span style="font-weight:bold;"> end_protocol.</span>
444​
445​
446​:-<span style="font-weight:bold;"> module</span>(module, [foo<span style="color:#0057ae;">/</span><span style="color:#b08000;">1</span>, bar<span style="color:#0057ae;">/</span><span style="color:#b08000;">2</span>]).
447​
448​:-<span style="font-weight:bold;"> use_module</span>(library).
449​:-<span style="font-weight:bold;"> use_module</span>(library, [baz<span style="color:#0057ae;">/</span><span style="color:#b08000;">3</span>]).
450​
451​:-<span style="font-weight:bold;"> reexport</span>(library).
452​:-<span style="font-weight:bold;"> reexport</span>(library, [qux<span style="color:#0057ae;">/</span><span style="color:#b08000;">4</span>]).
453​
454​:-<span style="font-weight:bold;"> export</span>(quux<span style="color:#0057ae;">/</span><span style="color:#b08000;">5</span>).
455​</pre></body></html>