From 02bd8a17608ddebc57947cfe8148643c4aab0ded Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 7 Aug 2016 09:49:34 -0500 Subject: [PATCH] initialise so that we can run queries --- packages/ProbLog/problog.yap | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/ProbLog/problog.yap b/packages/ProbLog/problog.yap index 8f6b192e2..4645d8af0 100644 --- a/packages/ProbLog/problog.yap +++ b/packages/ProbLog/problog.yap @@ -2075,8 +2075,8 @@ init_problog(Threshold) :- timer_reset(sld_time), timer_reset(build_tree_low). -% :- initialization( ( init_problog(0.0), -% reset_control ) ). + :- initialization( ( init_problog(0.0), + reset_control ) ). % 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...