List of all items
Structs
- Cli
- ExplainArgs
- ExplainReport
- GeneratedRuleDiagnostic
- GeneratedRuleRowDecision
- ProbArgs
- ReplArgs
- RunArgs
- ThresholdComparison
- WatchArgs
Enums
Functions
- atom_label
- bindings_for_source_row
- bound_term
- build_explain_report
- comp_op_label
- compare_i64
- compare_terms
- declared_column_names
- diagnostic_source_atom
- diagnostic_source_predicate
- dot_escape
- eir_atom_json
- eir_epistemic_literal_json
- eir_term_label
- emit_logic_results
- explain
- explain_aggregate_lifting
- explain_epistemic
- explain_generated_rule_diagnostics
- external_relation_source
- external_relation_source_from_manifest
- generated_rule_candidate
- json_escape
- json_optional_string
- json_string_array
- json_value
- json_value_array
- json_value_to_term
- load_external_relation_rows
- magic_status_label
- main
- make_provider
- matching_fact_exists
- parse_inputs
- predicate_failures
- print_explain_json
- print_explain_text
- print_generated_rule_diagnostics_json
- print_magic_dot
- print_magic_text
- print_proof_traces_json
- print_rule_provenance_json
- program_has_epistemic_literals
- relation_json_candidates
- repl
- resolve_explain_imports
- run_deterministic
- run_probabilistic
- source_rows_for_atom
- term_label
- watch