% this is a single-line comment
/*
this is
a block
comment
*/
:- if(Goal).
% conditional
:- elif(Goal).
% compilation
:- else.
% directives
:- endif.
:- initialization(Goal).
:- encoding(Encoding).
:- op(Precedence, Associativity, Operator).
:- ensure_loaded(File).
:- include(File).
:- set_prolog_flag(Flag, Value).
:- set_logtalk_flag(Flag, Value).
:- object(prototype,
implements(protocol),
imports(category),
extends(parent)).
:- info([
version is 1.38,
author is 'Paulo Moura',
date is 2017/11/27,
comment is 'Sample prototype for testing syntax coloring.']).
:- built_in.
:- threaded.
:- dynamic.
:- initialization(some_goal(X, Y)).
:- calls(some_other_protocol).
:- uses(another_object).
:- alias(set, [member/2 as set_member/2]).
:- alias(words, [singular//0 as peculiar//0]).
:- uses(list, [append/3, member/2]).
:- uses(queues, [new/1 as new_queue/1]).
:- use_module(module).
:- use_module(module, [append/3, member/2]).
:- multifile(zzz/1).
:- multifile(module:zzz/1).
:- multifile(object::zzz/1).
:- coinductive(comember/1).
:- use_module(module, [xxx/1, yyy/2, zzz/3]).
:- export(bbb/3).
:- reexport(cccc/4).
:- 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']
]).
:- public(nt//2).
:- meta_non_terminal(nt(1, *)).
:- protected(bbb/2).
:- synchronized(bbb/2).
:- mode(bbb(+integer, -float, ++list, --ground), 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),
conforms_to_protocol(ObjOrCtg, Protocol, Scope).
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(Notification),
threaded_notify(Notification).
engines :-
threaded_engine(Engine),
threaded_engine_create(AnswerTemplate, Goal, Engine),
threaded_engine_destroy(Engine),
threaded_engine_self(Engine),
threaded_engine_next(Engine, Answer),
threaded_engine_next_reified(Engine, Answer),
threaded_engine_yield(Answer),
threaded_engine_post(Engine, Term),
threaded_engine_fetch(Term).
compiling_and_loading :-
logtalk_compile(File, Options),
logtalk_load(File, Options),
logtalk_library_path(Library, Path),
logtalk_load_context(Key, Value),
logtalk_make(clean),
logtalk_make.
flags :-
current_logtalk_flag(Flag, Value),
set_logtalk_flag(Flag, Value),
create_logtalk_flag(Flag, Value, Options).
execution_context_methods :-
context(Context),
parameter(N, Parameter),
self(Self),
sender(Sender),
this(This).
reflection_methods :-
current_predicate(Predicate),
predicate_property(Predicate, Property).
database_methods :-
abolish(Name/Arity),
asserta(Clause),
assertz(Clause),
clause(Head, Body),
retract(Clause),
retractall(Head).
exception_methods :-
catch(Goal, Error, Catcher),
throw(Error),
instantiation_error,
type_error(Type, Culprit),
domain_error(Domain, Culprit),
existence_error(Thing, Culprit),
permission_error(Operation, Permission, Culprit),
representation_error(Flag),
evaluation_error(Exception),
resource_error(Resource).
all_solutions_methods :-
bagof(Term, Goal, List),
bagof(Term, Var^Goal, List),
findall(Term, Goal, List),
forall(Generate, Test),
setof(Term, Goal, List),
setof(Term, Var1^Var2^Goal, List).
event_handler_methods :-
before(Object, Message, Sender),
after(Object, Message, Sender).
message_forwarding_method :-
forward(Message).
dcg_rules_parsing_methods :-
phrase(NonTerminal, Input, Rest).
term_expansion_methods :-
expand_term(Term, Expanded),
expand_goal(Goal, 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.
lambda_expressions :-
{X,Y,Z}/[P,Q]>>Goal.
explicitly_qualified_module_calls :-
Module:Goal.
if_then_else :-
( If ->
Then
; Else
).
numbers :-
X1 is 13, X2 is -13, X3 is +13,
Y1 is 13.13, Y2 is -13.13, Y3 is +13.13,
Z1 is 13.13e-23, Z2 is -13.13e-23, Z3 is +13.13e-23,
C1 is 0'A, C2 is 0'', C3 is 0'",
B1 is 0b1011101,
O1 is 0o1234560,
H1 is 0x1234567890abcDEF.
functions :-
A is atan(3.14) + atan2(1, 0) + acos(0.5) + asin(0.5) + sin(0.77) - cos(123.23) - tan(0.33),
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 + 12345^2,
E is rem(3, 2) + mod(5, 3) - div(8, 4) * 2 rem 2 // 5 mod 3 - 8 div 4 + pi * e,
F is float_fractional_part(3.14) + float_integer_part(3.14),
G is float(33) + floor(99.99),
I is min(3,4) + max(4,5).
bitwise :-
A is 16 >> 2,
B is 16 << 2,
C is 10 /\ 12,
D is 10 \/ 12,
E is \ 10,
F is xor(13, 7).
term_unification :-
Term1 = Term2,
Term1 \= Term2,
unify_with_occurs_check(Term1, Term2),
subsumes_term(General, Specific).
term_testing :-
atom(Atom),
atomic(Atomic),
integer(Integer),
float(Float),
callable(Term),
compound(Term),
nonvar(Term),
var(Term),
number(Number),
ground(Term),
acyclic_term(Term).
term_comparison :-
compare(Order, Term1, Term2),
Term1 == Term2,
Term1 \== Term2,
Term1 @< Term2,
Term1 @=< Term2,
Term1 @>= Term2,
Term1 @> Term2.
term_creation_and_decomposition :-
functor(Term, Name, Arity),
arg(N, Term, Arg),
Term =.. [Functor| Args],
copy_term(Term, Copy),
numbervars(Term, Start, End),
term_variables(Term, Variables).
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,
call(Goal),
once(Goal),
ignore(Goal),
true,
fail,
false,
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.
sorting :-
keysort(List, Sorted),
sort(List, Sorted).
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}.
escape_sequences :-
write('Quoted atom with a quote ('') inside.'),
write('Quoted atom with a backslash (\\) inside.'),
write('Quoted atom with control escape sequences: \a \b \r \f \t \n \v'),
write('Quoted atom with an octal escape sequence: \123\.'),
write('Quoted atom with an hexadecimal escape sequence: \x123f\.').
:- end_object.
:- object(class,
implements(protected::protocol),
imports(private::category),
instantiates(metaclass),
specializes(superclass)).
:- end_object.
:- object(parametric(Parameter, "String", 33.78),
implements(protocol),
imports(category),
extends(parent(Parameter))).
:- end_object.
:- category(category,
implements(protocol),
extends(other_category)).
:- end_category.
:- protocol(extended,
extends(minimal)).
:- end_protocol.
:- module(module, [foo/1, bar/2]).
:- use_module(library).
:- use_module(library, [baz/3]).
:- reexport(library).
:- reexport(library, [qux/4]).
:- export(quux/5).