List of all items

Structs

• Clause
• ClauseId
• LogicConfig
• LogicDb
• LogicEnv
• LogicLib
• LogicLimits
• LogicQuery
• builtins::BuiltinBinding
• builtins::BuiltinCtx
• builtins::BuiltinTable
• policy::LogicPolicy

Enums

• OccursCheck
• SearchStrategy

Functions

• builtins::tabling_memo_binding
• install_logic_lib
• parse_clause_expr
• query
• query_all
• query_all_with_builtins
• realize_logic
• unify_exprs

Type Aliases

• builtins::BuiltinSolve