search

knowsys / rulewerk

Java library based on the VLog rule engine
Apache License 2.0
32 stars 13 forks source link

[core] Acyclicity properties: enable a variable set of Predicates to have arbitrary facts for #133

Open irina-dragoste opened 4 years ago

irina-dragoste commented 4 years ago

The user should be able to set which Predicates can have arbitrary data for the acyclicity tests, and for which the data in the knowledge base is constant.

mkroetzsch commented 4 years ago

I don't fully understand this. Don't we already have this through the ```@source''' declarations? If something has no source, it cannot get arbitrary data. One could further extend this to include predicates for which there is at least one fact given explicitly.