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

Small changes for modularity improvements

Browse Source
This commit is contained in:
Theofrastos Mantadelis
2010-09-24 12:33:02 +02:00
parent 52a4680ac7
commit 42fc10cf58
3 changed files with 13 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
packages/ProbLog/problog.yap
View File

@@ -372,7 +372,7 @@
:- dynamic dynamic_probability_fact_extract/2.
% for storing continuous parts of proofs (Hybrid ProbLog)
:- dynamic hybrid_proof/4.
:- dynamic hybrid_proof/3, hybrid_proof/4.
:- dynamic hybrid_proof_disjoint/4.
% ProbLog files declare prob. facts as P::G
@@ -473,7 +473,9 @@ init_global_params :-
% on initialization, the current dir is the one where the user's file is located
% should be changed to use temporary folder structure of operating system
%%%%%%%%%%%%
problog_define_flag(dir, problog_flag_validate_directory, 'directory for files', WorkDir, output),
tmpname(TempFolder),
atomic_concat([TempFolder, '_problog'], TempProblogFolder),
problog_define_flag(dir, problog_flag_validate_directory, 'directory for files', WorkDir, TempProblogFolder),
check_existance('problogbdd').
check_existance(FileName):-
@@ -676,6 +678,7 @@ is_valid_gaussian(X) :-
throw(invalid_gaussian(X))
).
:- multifile(user:term_expansion/1).
user:term_expansion(Goal, problog:ProbFact) :-
compound(Goal),