HELP
Error Messages
A set of guides explaining what errors you may experience when using Rel and the RKGS, including all the related information you need to handle them.
Error Reporting
The Error Reporting guide introduces how errors are presented based on your interaction with the system: either the RAI Console or any of the SDKs.
List of RAI Errors
Each of the following guides presents a specific problem within the RAI system, covering examples and solutions to it.
ARITY MISMATCH
- Arity mismatch errors.
BASE DERIVED OVERLOAD
- Overloading error of base and derived relations.
DATA LOAD
- Data loading errors.
DATA LOAD CONFIG
- Data loading configuration errors.
EXCEPTION
- Execution errors.
EXCEPTION - Ungrounded Variable
- A variable has not been correctly instantiated.
INTEGRITY CONSTRAINT VIOLATION
- Integrity constraint violations.
NON FORMULA IC BODY
- The integrity constraint is not well defined.
PARSE ERROR
- Rel syntax errors.
PARSE ERROR - Reserved Keyword
- Reserved keyword errors.
SHADOWED VARIABLE
- Same naming for different variables.
UNBOUND VARIABLE
- The variable type cannot be inferred.
UNDEFINED
- A variable has not been correctly defined.
VARARGS
- The argument arity is not a finite number.
Was this doc helpful?