Expand description
Modules§
Structs§
- A GDL constant
- A GDL description. Contains a vector of
Clauses, which are the top-level statements in a GDL description. - A distinct literal
- A function term
- A not literal
- An or literal
- A proposition is a
Relationwith no body; it only has a name. - A GDL relation
- A GDL rule contains a head
Sentencethat is implied by all theLiterals in the body - A variable term
Enums§
- A top level statement in GDL. The only types of top level statements are
Rules andSentences - A GDL literal
- A GDL sentence is like a
Rulewithout a body. The two types ofSentences areRelations andPropositions - A GDL term is either a variable, a function, or a constant
Functions§
- Parse a GDL string to a
Description. Panics if the description is invalid.