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

removed bug in conditinal queries

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2224 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
rzf 2008-04-30 14:10:27 +00:00
parent 2b1e2fd92b
commit 62faa60978
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cplint/lpadvel.pl
View File

@ -366,7 +366,7 @@ vel(IF,RF,QAtoms,GLC,Graph,SortedAtoms,OutptutTable):-
fix_evidence(IF,IF1,GLC),
sort_tables(RF1,RF2,SortedAtoms),
sort_tables(IF1,IF2,SortedAtoms),
get_atoms_body(GLC,AtomsC),
find_atoms_body(GLC,AtomsC),
delete_all(QAtoms,SortedAtoms,SortedAtoms1),
delete_all(AtomsC,SortedAtoms1,SortedAtoms2),
vel_cycle(SortedAtoms2,IF2,RF2,Graph,SortedAtoms,[],_Eliminated,OutptutTable).