Are there any papers/other stuff that describe connecting up programming language errors with prolog/datalog style “expert systems”?
4
1
13
Conversation
Could you elaborate on the you mean by 'connecting up errors'?
1
Not sure if there's anything of use in Soufflé's reference list… souffle-lang.github.io/publications