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

cleanup

Browse Source
This commit is contained in:
Vítor Santos Costa 2014-09-09 23:55:13 -05:00
parent b26b5b1b7d
commit 87e36bcfe2
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
packages/CLPBN/clpbn/ve.yap
View File

@ -64,7 +64,8 @@
:- use_module(library(lists), :- use_module(library(lists),
[member/2, [member/2,
append/3, append/3,
delete/3 delete/3,
sum_list/2
]). ]).
:- use_module(library(maplist)). :- use_module(library(maplist)).

3
packages/bdd/bdd.yap
View File

@ -1,5 +1,6 @@
:- module(bdd, [bdd_new/2, :- module(bdd, [
bdd_new/2,
bdd_new/3, bdd_new/3,
bdd_from_list/3, bdd_from_list/3,
mtbdd_new/2, mtbdd_new/2,