Open fcbr opened 5 years ago
Related to #16, just writing down some initial thoughts.
Maybe we should do the same that we do for variable-arity names for constant-arity relations that have "unknown" arity.
For variable arity: https://github.com/own-pt/cl-krr/blob/master/suo-kif.lisp#L371-L401
I.e., if we don't know the arity of a relation and we know that this isn't a variable arity functions, we should suffix it, therefore disambiguating it.
Related to #16, just writing down some initial thoughts.
Maybe we should do the same that we do for variable-arity names for constant-arity relations that have "unknown" arity.
For variable arity: https://github.com/own-pt/cl-krr/blob/master/suo-kif.lisp#L371-L401
I.e., if we don't know the arity of a relation and we know that this isn't a variable arity functions, we should suffix it, therefore disambiguating it.