Ckini.Term (Ckini v0.1.0) View Source
A logic term. It's either a variable or a list or a ground term represented by an Elixir term.
Link to this section Summary
Functions
check if a term is concrete, i.e. the term doesn't contain any variable
test if term t contains term u with given substitution
check equality of two terms under given substitution
Reify all variables in a term and its related constraints
Link to this section Types
Specs
t() :: atom() | binary() | integer() | Ckini.Var.t() | [t()]
Link to this section Functions
Specs
concrete?(t(), Ckini.Subst.t()) :: boolean()
check if a term is concrete, i.e. the term doesn't contain any variable
test if term t contains term u with given substitution
check equality of two terms under given substitution
Specs
reify(any(), Ckini.Context.t()) :: any() | {any(), keyword()}
Reify all variables in a term and its related constraints