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

initialise so that we can run queries

Browse Source
This commit is contained in:
Vitor Santos Costa 2016-08-07 09:49:34 -05:00
parent a4fa6c5b4b
commit 02bd8a1760
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/ProbLog/problog.yap
View File

@ -2075,8 +2075,8 @@ init_problog(Threshold) :-
timer_reset(sld_time), timer_reset(sld_time),
timer_reset(build_tree_low). timer_reset(build_tree_low).
% :- initialization( ( init_problog(0.0), :- initialization( ( init_problog(0.0),
% reset_control ) ). reset_control ) ).
% idea: proofs that are refinements of known proof can be pruned as they don't add probability mass % idea: proofs that are refinements of known proof can be pruned as they don't add probability mass
% note that current ptree implementation doesn't provide the check as there's no efficient method known so far... % note that current ptree implementation doesn't provide the check as there's no efficient method known so far...