Comments (4)
I am not an expert of this part of the code, but it looks more like a bug of the ResolveAliases
pass that may not behave correcly in presence of such circular constraints.
from souffle.
Thank you for responding. Does souffle team have any plan to fix this?
from souffle.
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.
from souffle.
Thank you, I'll look further into it later.
from souffle.
Related Issues (20)
- 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
- 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
- no conversion for stoi when parsing --jobs=auto (without OPENMP) HOT 4
- concurrency-related sporadic crashes on ARM architecture HOT 3
- Ungrounded record error when destructuring with don't-cares?
- Unexpected Assertion Error in Aggregation HOT 1
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.