Skip to content

Commit

Permalink
Eliminate the (remote) possibility that a user defined entity predica…
Browse files Browse the repository at this point in the history
…te would clash with an internal entity bookkeeping predicate
  • Loading branch information
pmoura committed Apr 23, 2014
1 parent 18335f1 commit 29a8658
Show file tree
Hide file tree
Showing 27 changed files with 147 additions and 132 deletions.
3 changes: 3 additions & 0 deletions RELEASE_NOTES.md
Expand Up @@ -37,6 +37,9 @@ control construct using the standard `{Proxy}` syntax.
* IMPROVED: Faster generation of entity identifiers when dynamically creating
a large number of entities at runtime.

* IMPROVED: Eliminate the (remote) possibility that a user defined entity
predicate would clash with an internal entity bookkeeping predicate.

Tools
-----

Expand Down
6 changes: 3 additions & 3 deletions adapters/b.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for B-Prolog 7.8 and later versions
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -655,8 +655,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/cx.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for CxProlog 0.97.7 or a later version
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -685,8 +685,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/eclipse.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for ECLiPSe 6.1#143 and later versions
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -753,8 +753,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
8 changes: 4 additions & 4 deletions adapters/gnu.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for GNU Prolog 1.4.2 (and later versions)
% Last updated on April 15, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -632,11 +632,11 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


:- multifile('$logtalk#0.print_message_token'/5).
:- dynamic('$logtalk#0.print_message_token'/5).
:- multifile('$logtalk#0.print_message_token#4'/5).
:- dynamic('$logtalk#0.print_message_token#4'/5).

% ugly hack to deal with GNU Prolog's non-standard format/3 predicate
'$logtalk#0.print_message_token'(Stream, _, Format-Args, _, _) :-
'$logtalk#0.print_message_token#4'(Stream, _, Format-Args, _, _) :-
'$lgt_gnu_filter_format'(Format, FilteredFormat),
format(Stream, FilteredFormat, Args).

Expand Down
12 changes: 6 additions & 6 deletions adapters/lean.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for Lean Prolog 3.8.8 and later versions
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -841,17 +841,17 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


:- multifile('$logtalk#0.print_message_token'/5).
:- dynamic('$logtalk#0.print_message_token'/5).
:- multifile('$logtalk#0.print_message_token#4'/5).
:- dynamic('$logtalk#0.print_message_token#4'/5).

% nasty workaround for the lack of support for stream aliases in Lean Prolog
'$logtalk#0.print_message_token'(user_output, Prefix, Token, Tokens, _) :-
'$logtalk#0.print_message_token#4'(user_output, Prefix, Token, Tokens, _) :-
current_output(Stream),
'$lgt_lean_print_message_token'(Token, Tokens, Prefix, Stream).
'$logtalk#0.print_message_token'(user_error, Prefix, Token, Tokens, _) :-
'$logtalk#0.print_message_token#4'(user_error, Prefix, Token, Tokens, _) :-
current_output(Stream),
'$lgt_lean_print_message_token'(Token, Tokens, Prefix, Stream).
'$logtalk#0.print_message_token'(Alias, Prefix, Token, Tokens, _) :-
'$logtalk#0.print_message_token#4'(Alias, Prefix, Token, Tokens, _) :-
atom(Alias),
get_alias(Stream, Alias),
'$lgt_lean_print_message_token'(Token, Tokens, Prefix, Stream).
Expand Down
6 changes: 3 additions & 3 deletions adapters/qp.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for Qu-Prolog 9.0 and later versions
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -715,8 +715,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/quintus.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for Quintus Prolog 3.3~3.5
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -934,8 +934,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/sicstus.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for SICStus Prolog 4.1.0 and later versions
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -759,8 +759,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
16 changes: 8 additions & 8 deletions adapters/swi.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for SWI Prolog 6.0.0 and later versions
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -813,12 +813,12 @@
nonvar(Rule),
functor(Rule, '::', 2),
!,
'$logtalk#0.execution_context'(ExCtx, user, user, user, [], [], _).
'$logtalk#0.execution_context#6'(ExCtx, user, user, user, [], [], _).
user:goal_expansion(phrase(Rule, Input), user:'$lgt_phrase'(Rule, Input, ExCtx)) :-
nonvar(Rule),
functor(Rule, '::', 2),
!,
'$logtalk#0.execution_context'(ExCtx, user, user, user, [], [], _).
'$logtalk#0.execution_context#6'(ExCtx, user, user, user, [], [], _).

user:goal_expansion('::'(Object, Message), user:Goal) :-
prolog_load_context(module, Module),
Expand Down Expand Up @@ -964,17 +964,17 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


:- multifile('$logtalk#0.print_message_token'/5).
:- dynamic('$logtalk#0.print_message_token'/5).
:- multifile('$logtalk#0.print_message_token#4'/5).
:- dynamic('$logtalk#0.print_message_token#4'/5).

'$logtalk#0.print_message_token'(Stream, _, ansi(Attributes, Format, Arguments), _, _) :-
'$logtalk#0.print_message_token#4'(Stream, _, ansi(Attributes, Format, Arguments), _, _) :-
prolog:message_line_element(Stream, ansi(Attributes, Format, Arguments)).

'$logtalk#0.print_message_token'(Stream, _, begin(Kind0, Var), _, _) :-
'$logtalk#0.print_message_token#4'(Stream, _, begin(Kind0, Var), _, _) :-
'$lgt_swi_convert_message_kind'(Kind0, Kind),
prolog:message_line_element(Stream, begin(Kind, Var)).

'$logtalk#0.print_message_token'(Stream, _, end(Var), _, _) :-
'$logtalk#0.print_message_token#4'(Stream, _, end(Var), _, _) :-
prolog:message_line_element(Stream, end(Var)).


Expand Down
4 changes: 2 additions & 2 deletions adapters/template.pl
Expand Up @@ -553,8 +553,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/unsupported/amzi.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for Amzi! Prolog 7.6.1 and later versions
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -603,8 +603,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/unsupported/bin.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for BinProlog 8.x~10.x
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -618,8 +618,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/unsupported/ciao.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for Ciao Prolog 1.14.0
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -697,8 +697,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/unsupported/if.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for IF/Prolog 5.3
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -553,8 +553,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/unsupported/ji.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for JIProlog 3.1.0-1 or later versions
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -564,8 +564,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/unsupported/lpamac.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for LPA MacProlog32 1.25
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -640,8 +640,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down
6 changes: 3 additions & 3 deletions adapters/unsupported/lpawin.pl
Expand Up @@ -4,7 +4,7 @@
% Copyright (c) 1998-2014 Paulo Moura <pmoura@logtalk.org>
%
% Adapter file for LPA WinProlog 4.00
% Last updated on April 17, 2014
% Last updated on April 23, 2014
%
% This program is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
Expand Down Expand Up @@ -671,8 +671,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%:- multifile('$logtalk#0.print_message_token'/5).
%:- dynamic('$logtalk#0.print_message_token'/5).
%:- multifile('$logtalk#0.print_message_token#4'/5).
%:- dynamic('$logtalk#0.print_message_token#4'/5).



Expand Down

0 comments on commit 29a8658

Please sign in to comment.