This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
2013-10-04 13:22:00 +01:00
|
|
|
|
|
|
|
:- use_module(library(cuda)).
|
|
|
|
|
|
|
|
:- initialization(main).
|
|
|
|
|
|
|
|
main :-
|
|
|
|
cuda_extensional(db/2, _X),
|
2013-10-07 12:20:00 +01:00
|
|
|
cuda_rule((a(X, Y) :- db(Y, Z), db(X, Z), db(1, Z) ), Q),
|
|
|
|
cuda_eval(Q, _).
|
2013-10-04 13:22:00 +01:00
|
|
|
|
|
|
|
db(1,a).
|
|
|
|
db(2,a).
|
|
|
|
db(5,b).
|
|
|
|
db(4,q).
|
|
|
|
db(6,w).
|
|
|
|
db(10,s).
|