[iris-reasoner-support] Request for support

[Thomas T. <tho...@gm...>]

Hello all !
I need to use Datalog and I found IRIS which looks like it is exactly what I
am looking for.

I'm kinda struggling with the syntax though. this should work but does not:

database('1', '10', '100'). database('2', '5', '-10'). score(?s, ?x1, ?x2)
:- 3 * ?x1 =?wx1, 2 * ?x2 = ?wx2, ?wx1 + ?wx2 = ?s. ds(?id, ?s) :-
database(?id, ?x1, ?x2), score(?s, ?x1, ?x2). ?-ds(?id, ?s).

I
have a database with an id and 2 values for each. I need to computer a
weighted sum of those values for each id and return the sum.
But for some reason, this doesn't work. It's working with another
Datalog interpreter (MLPQ) so I am not sure what I am missing here.
By the way does anyone know if IRIS uses double or simple precision for numbers?


Thanks for any input!
Thomas

--
Thomas Triplet
PhD student - Bioinformatics
Computer Science and Engineering Department
University of Nebraska - Lincoln, USA