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

fix determinacy

Browse Source
This commit is contained in:
Vitor Santos Costa 2013-03-05 15:46:40 -06:00
parent e600a9c6aa
commit d59afea65e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/dialect/swi.yap
View File

@ -203,8 +203,9 @@ convert_time(Stamp, Y, Mon, Day, Hour, Min, Sec, MilliSec) :-
Sec is integer(float_integer_part(FSec)), Sec is integer(float_integer_part(FSec)),
MilliSec is integer(float_fractional_part(FSec)*1000). MilliSec is integer(float_fractional_part(FSec)*1000).
compile_aux_clauses([]). compile_aux_clauses([]).
compile_aux_clauses([(:- G)|Cls]) :- compile_aux_clauses([(:- G)|Cls]) :- !,
prolog_load_context(module, M), prolog_load_context(module, M),
once(M:G), once(M:G),
compile_aux_clauses(Cls). compile_aux_clauses(Cls).
@ -213,6 +214,7 @@ compile_aux_clauses([Cl|Cls]) :-
assert_static(M:Cl), assert_static(M:Cl),
compile_aux_clauses(Cls). compile_aux_clauses(Cls).
'$set_predicate_attribute'(_, _, _). '$set_predicate_attribute'(_, _, _).
flag(Key, Old, New) :- flag(Key, Old, New) :-