Comments (2)
Did this get worked on?
Currently the compiled version turns R(x) :- A(_), B(x).
into
if (!rel_1_A->empty()) {
for (const auto& env1 : *rel_2_B) {
Which seems to be what you describe.
I think the relevant parts of the code are
Lines 668 to 673 in 1392c67
and
Lines 483 to 488 in 1392c67
from souffle.
This has been fixed.
from souffle.
Related Issues (20)
- SQLite reader silently replaces empty strings with "n/a" HOT 1
- UNKNOWN Version HOT 2
- Segmentation fault caused by unconstrained count disjunction HOT 1
- More information about the structure of ADTs in SQLITE output?
- Registration may not run when using the C++ interface HOT 4
- Assertion failure on `Auto-Scheduling` HOT 1
- Programmatic provenance interactions
- User defined constraints HOT 1
- Weird "Ungrounded variable" error reporting HOT 4
- Ability To Project Records In Rules HOT 1
- `-t explain` has problems: Existing relationships were not discovered HOT 1
- Provenance gives `Tuple not found` result for imported facts with symbol type.
- Is there are other ways to control the number of relationships calculated, in addition to limitsize HOT 1
- Question about self join HOT 1
- ADTs with negation HOT 2
- Record types and SQLite output HOT 4
- Provenance displays incorrect facts in derivation tree for less-than relation
- Performance in interpreter mode HOT 2
- An exception unhandled in MainDriver.cpp HOT 4
- Assertion error in ast2ram: "variable not grounded" (functor example) HOT 2
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from souffle.