Expand description
Modules§
Structs§
- A GDL constant
- A GDL description. Contains a vector of
Clause
s, 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
Relation
with no body; it only has a name. - A GDL relation
- A GDL rule contains a head
Sentence
that is implied by all theLiteral
s in the body - A variable term
Enums§
- A top level statement in GDL. The only types of top level statements are
Rule
s andSentence
s - A GDL literal
- A GDL sentence is like a
Rule
without a body. The two types ofSentence
s areRelation
s andProposition
s - 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.