Quentin Sabah
Quentin Sabah
Currently the Souffle project has few active developers. Any help would be appreciated if you want to work on this issue and submit a fix.
Just throwing a few ideas of providing a language-level solution to this problem: - introduce pattern matching in the language : à-la `match (X) of $Baz(_) => true | _...
Currently the easiest way would be to write a custom functor in c/c++ that takes the adt as an argument and returns 0 or 1 to indicate whatever condition holds...
Your workaround is currently the only way to proceed.
Hi, do you have a working example that exhibits such issue? Any platform or compiler where `newInstance` fails to find the program?
Can you reproduce with a 100% C++ test? Would you like to suggest a fix?
The rules are evaluating semi-naive step `i+1`. The test `NOT (t0.1,t1.1) IN @delta_path` is `NOT (mid,to) IN @delta_path`, it is a way to simulate `path` at step `i-1`. I reckon...
Would that effort support arbitrary value sizes? I'm thinking about opaque values from functors (C/C++ structs), or inlined records / tuples for instance.
I can foresee at least one difficulty with the interpreter engine that is currently not design to support more data types efficiently. The topic is discussed in the vicinity of...
How did you install Souffle, is it an official release, or did you build it from sources?