The Rel Language
Full documentation for the Rel language.
Rel is an expressive, declarative, and relational language designed for modeling domain knowledge. The Rel documentation includes How-To Guides and Rel Concepts with examples of advanced use cases, a Language Reference which explains details on Rel syntax and abstractions, and Library References which covers library function definitions along with examples.
For new Rel users, check out the Rel Tutorials first for an introduction to the language.
How-To Guides are designed to guide you through the steps needed to take on specific tasks and problems. They are more advanced than Tutorials and assume some background knowledge of the Rel language and RKGMS.
References contain more detailed technical information about the Rel language, including how aspects of the language work, and examples. They assume a background understanding of Rel concepts. The Language Reference includes explanations of Rel terminology and syntax, but at a more concise, technical level than Rel Concepts. The Library References contain complete function definitions for each library along with examples.