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

fixes, small improvements in functionality

Browse Source
This commit is contained in:
Vítor Santos Costa
2013-10-08 12:46:06 +01:00
parent 490b7cd40a
commit c757e51cb0
3 changed files with 20 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
packages/cuda/cuda.yap
View File

@@ -1,16 +1,22 @@
:- module(bdd, [cuda_extensional/2,
cuda_rule/2,
cuda_erase/1,
cuda_eval/2,
cuda_count/2]).
:- module(cuda, [cuda_extensional/2,
cuda_inline/2,
cuda_rule/2,
cuda_erase/1,
cuda_eval/2,
cuda_count/2]).
tell_warning :-
print_message(warning,functionality(cuda)).
:- dynamic inline/2.
:- catch(load_foreign_files([cuda], [], init_cuda),_,fail) -> true ; tell_warning.
:- meta_predicate cudda_extensional(:,-).
cuda_inline(P, Q) :-
assert(inline(P,Q)).
cuda_extensional( Call, IdFacts) :-
strip_module(Call, Mod, Name/Arity),
functor(S, Name, Arity),
@@ -27,6 +33,10 @@ cuda_rule((Head :- Body) , IdRules) :-
body_to_list( (B1, B2), LF, L0, N0, NF) :- !,
body_to_list( B1, LF, LI, N0, N1),
body_to_list( B2, LI, L0, N1, NF).
body_to_list( true, L, L, N, N) :- !.
body_to_list( B, [NB|L], L, N0, N) :-
inline( B, NB ), !,
N is N0+1.
body_to_list( B, [B|L], L, N0, N) :-
N is N0+1.