Working on the LSP VSCode extension for #suetum posed interesting questions, like "what is a variable definition in a logic programming language"?
Formally there's nothing like a declaration in that case, but the best way to put it is that the first time a variable is used, this is where it gets declared, and since Suetum integrates logic and imperative programming, it's been cool to notice that every reference in the imperative part must have a counterpart in the logic one to be correct!



