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

answers 1.0 to a conditional query with evidence equal to the query

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2225 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
rzf 2008-04-30 17:57:21 +00:00
parent 62faa60978
commit 16592e35cc
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
cplint/lpadvel.pl
View File

@ -58,6 +58,9 @@ GoalsList given EvidenceList. Both lists can have variables, sc returns in
backtracking all the solutions with their corresponding probability backtracking all the solutions with their corresponding probability
Time1 is the time for performing resolution Time1 is the time for performing resolution
Time2 is the time for performing bayesian inference */ Time2 is the time for performing bayesian inference */
sc(GL,GL,1.0).
sc(GL,GLC,P):- sc(GL,GLC,P):-
get_ground_portion(GL,GLC,CL,Undef),!, get_ground_portion(GL,GLC,CL,Undef),!,
(Undef=yes-> (Undef=yes->
@ -123,6 +126,8 @@ s(GL,P,CPUTime1,CPUTime2,WallTime1,WallTime2):-
GoalsList given EvidenceList. Both lists can have variables, sc returns in GoalsList given EvidenceList. Both lists can have variables, sc returns in
backtracking all the solutions with their corresponding probability */ backtracking all the solutions with their corresponding probability */
sc(GL,GL,1.0,0.0,0.0,0.0,0.0).
sc(GL,GLC,P,CPUTime1,CPUTime2,WallTime1,WallTime2):- sc(GL,GLC,P,CPUTime1,CPUTime2,WallTime1,WallTime2):-
statistics(cputime,[_,_]), statistics(cputime,[_,_]),
statistics(walltime,[_,_]), statistics(walltime,[_,_]),