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

follow up for using user defined ground

Browse Source
This commit is contained in:
Theofrastos Mantadelis 2010-11-09 15:12:34 +01:00
parent 94d6c3cebd
commit bad796702d
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
packages/ProbLog/problog/tabling.yap
View File

@ -2,8 +2,8 @@
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %
% $Date: 2010-11-03 19:08:13 +0100 (Wed, 03 Nov 2010) $ % $Date: 2010-11-09 15:09:33 +0100 (Tue, 09 Nov 2010) $
% $Revision: 4984 $ % $Revision: 4992 $
% %
% This file is part of ProbLog % This file is part of ProbLog
% http://dtai.cs.kuleuven.be/problog % http://dtai.cs.kuleuven.be/problog
@ -355,7 +355,7 @@ problog_table(Name/Arity, Module) :-
% Exact method tabling % Exact method tabling
assert_static(( assert_static((
Module:ExactPred :- Module:ExactPred :-
(ground(ExactPred) -> (user:problog_user_ground(Head) ->
nb_setval(problog_nested_tries, true), nb_setval(problog_nested_tries, true),
get_negated_synonym_state(OriginalPred, State), get_negated_synonym_state(OriginalPred, State),
(State = false -> (State = false ->