diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Hide and Seek

Browse Source
This commit is contained in:
Vítor Santos Costa 2016-01-04 17:18:43 +00:00
parent 713e9dc9d8
commit 5fd4add82b
8 changed files with 3893 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.gitignore vendored
View File

@ -24,7 +24,6 @@ tmtags*
.zedstate .zedstate
config.h config.h
Yap.h Yap.h
*Makefile
YapConfig.h YapConfig.h
YapTermConfig.h YapTermConfig.h
.graffiti .graffiti
@ -48,7 +47,6 @@ groups
.Rhistory .Rhistory
.zedstate .zedstate
.graffiti .graffiti
*Makefile
.kateproject .kateproject
autom4te.cache autom4te.cache
*rej *rej
@ -61,7 +59,6 @@ JIT/HPP/bkp
cmake_install.cmake cmake_install.cmake
cmake_clean.cmake cmake_clean.cmake
*.build *.build
Makefile
C/myabsmi.c C/myabsmi.c
*.ctags# *.ctags#
*.hs *.hs
@ -133,3 +130,7 @@ packages/CLPBN/horus/hcli
packages/bdd/simplecudd/problogbdd packages/bdd/simplecudd/problogbdd
packages/bdd/cudd_config.h packages/bdd/cudd_config.h
Makefile
build
Debug
debug

4
C/cdmgr.c
View File

@ -2144,7 +2144,7 @@ static Int p_is_no_trace(USES_REGS1) { /* '$undefined'(P,Mod) */
if (EndOfPAEntr(pe)) if (EndOfPAEntr(pe))
return true; return true;
PELOCK(36, pe); PELOCK(36, pe);
if (pe->PredFlags & (NoTracePredFlag|HiddenPredFlag)) { if (pe->PredFlags & (NoTracePredFlag | HiddenPredFlag)) {
UNLOCKPE(57, pe); UNLOCKPE(57, pe);
return true; return true;
} }
@ -3022,7 +3022,7 @@ restart_system_pred:
return false; return false;
if (EndOfPAEntr(pe)) if (EndOfPAEntr(pe))
return false; return false;
pe->PredFlags |= (NoSpyPredFlag|NoTracePredFlag); pe->PredFlags |= (HiddenPredFlag / NoSpyPredFlag | NoTracePredFlag);
return true; return true;
} }

1450
CMakeCache.txt Normal file
View File

File diff suppressed because it is too large Load Diff

2427
docs/Doxyfile Normal file
View File

File diff suppressed because it is too large Load Diff

8
library/ytest/preds.yap
View File

@ -36,9 +36,9 @@
'$imported_predicate'(G,M,G,M0) :- '$imported_predicate'(G,M,G,M0) :-
predicate_property(M:G, imported_from(M0)). predicate_property(M:G, imported_from(M0)).
'$system_predicate'( call(_), _M) :- !. '$is_system_predicate'( call(_), _M) :- !.
'$system_predicate'( call(_,_), _M) :- !. '$is_system_predicate'( call(_,_), _M) :- !.
'$system_predicate'(G,M) :- '$is_system_predicate'(G,M) :-
predicate_property(M:G, built_in). predicate_property(M:G, built_in).
'$is_multifile'(G,M) :- '$is_multifile'(G,M) :-
@ -84,6 +84,6 @@ mt(N,M,A,D) :-
'$yap_strip_module'(T,M,S) :- '$yap_strip_module'(T,M,S) :-
fully_strip_module(T,M,S). fully_strip_module(T,M,S).
:- hide( expand_goal ). :- hide_predicate( expand_goal ).
:- include(library(boot/meta)). :- include(library(boot/meta)).

2
pl/consult.yap
View File

@ -432,7 +432,7 @@ load_files(Files,Opts) :-
true true
). ).
'$lf'(user, Mod, _, TOpts) :- !, '$lf'(user, Mod, _, TOpts) :- !,
b_setval('$user_source_file', user,user_input), b_setval('$user_source_file', user),
'$do_lf'(Mod, user_input, user_input, user_input, TOpts). '$do_lf'(Mod, user_input, user_input, user_input, TOpts).
'$lf'(user_input, Mod, _, TOpts) :- !, '$lf'(user_input, Mod, _, TOpts) :- !,
b_setval('$user_source_file', user_input), b_setval('$user_source_file', user_input),

4
pl/qly.yap
View File

@ -259,7 +259,7 @@ qend_program :-
fail. fail.
'$do_init_state' :- '$do_init_state' :-
set_value('$user_module',user), set_value('$user_module',user),
% '$protect', '$protect',
fail. fail.
'$do_init_state' :- '$do_init_state' :-
'$current_module'(prolog), '$current_module'(prolog),
@ -537,7 +537,7 @@ qload_module(Mod) :-
Type == file -> Type == file ->
'$qload_file'(S, File) '$qload_file'(S, File)
), ),
!, !,
close(S). close(S).
'$qload_module'(_S, Mod, _File, _SourceModule) :- '$qload_module'(_S, Mod, _File, _SourceModule) :-

6
regression/modules/meta_tests.pl
View File

@ -8,12 +8,12 @@
a(1). a(1).
b(1). b(1).
test member, test membe,
meta_expand( lists:member(X,[X|Y]), Clause ) meta_expand( lists:membe(X,[X|Y]), Clause )
returns returns
Clause =@= ( lists:member(X,[X|Y]) ). Clause =@= ( lists:membe(X,[X|Y]) ).
test a, test a,
meta_expand( ( a(X) :- call(X) ) , Clause ) meta_expand( ( a(X) :- call(X) ) , Clause )