search

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
http://souffle-lang.github.io/
Universal Permissive License v1.0
932 stars 208 forks source link

User defined constraints #2430

Open AdiHarif opened 1 year ago

AdiHarif commented 1 year ago

Is there a proper way to define custom constraints?

In case there isn't, i think it would be a convenient feature (for now my workaround is defining a functor that returns either 1 or 0 and wrapping it with a macro).

quentin commented 1 year ago

Your workaround is currently the only way to proceed.