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

fix fast_proofs in ProbLog (obs from A Kimmig, F Riguzzi).

Browse Source
This commit is contained in:
Vitor Santos Costa 2010-04-05 12:20:59 +01:00
parent ab8fee4e08
commit 504306d651
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/ProbLog/problog/flags.yap
View File

@ -480,7 +480,7 @@ set_problog_flag(fast_proofs,true) :-
assert(fast_proofs(true)). assert(fast_proofs(true)).
set_problog_flag(fast_proofs,false) :- set_problog_flag(fast_proofs,false) :-
retractall(fast_proofs(_)), retractall(fast_proofs(_)),
assert(fast_proofs(true)). assert(fast_proofs(false)).
set_problog_flag(fast_proofs,V) :- set_problog_flag(fast_proofs,V) :-
format(user,'\% ERROR: value ~w should be \'true\' or \'false\'!~n',[V]), format(user,'\% ERROR: value ~w should be \'true\' or \'false\'!~n',[V]),
flush_output(user), flush_output(user),