Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
agentic-logic 0.1.0 documentation
agentic-logic 0.1.0 documentation

API Reference:

  • agent_logic
    • agent_logic.cli
    • agent_logic.core
      • agent_logic.core.base
      • agent_logic.core.functions
      • agent_logic.core.operations
      • agent_logic.core.predicates
      • agent_logic.core.quantifiers
    • agent_logic.evaluation
      • agent_logic.evaluation.evaluator
      • agent_logic.evaluation.truth_table
    • agent_logic.models
      • agent_logic.models.llm_proof_model
    • agent_logic.parsing
      • agent_logic.parsing.ast_parser
      • agent_logic.parsing.token_parser
    • agent_logic.proofs
      • agent_logic.proofs.combinatorial_proofs
      • agent_logic.proofs.inference_rules
      • agent_logic.proofs.proof_system
      • agent_logic.proofs.quantifier_rules
      • agent_logic.proofs.sequent_calculus
      • agent_logic.proofs.unification
    • agent_logic.utils
      • agent_logic.utils.logger
  • agent_logic.core
    • agent_logic.core.base
    • agent_logic.core.functions
    • agent_logic.core.operations
    • agent_logic.core.predicates
    • agent_logic.core.quantifiers
  • agent_logic.evaluation
    • agent_logic.evaluation.evaluator
    • agent_logic.evaluation.truth_table
  • agent_logic.proofs
    • agent_logic.proofs.combinatorial_proofs
    • agent_logic.proofs.inference_rules
    • agent_logic.proofs.proof_system
    • agent_logic.proofs.quantifier_rules
    • agent_logic.proofs.sequent_calculus
    • agent_logic.proofs.unification
  • agent_logic.models
    • agent_logic.models.llm_proof_model
  • agent_logic.parsing
    • agent_logic.parsing.ast_parser
    • agent_logic.parsing.token_parser
  • agent_logic.utils
    • agent_logic.utils.logger
  • agent_logic
    • agent_logic.cli
    • agent_logic.core
      • agent_logic.core.base
      • agent_logic.core.functions
      • agent_logic.core.operations
      • agent_logic.core.predicates
      • agent_logic.core.quantifiers
    • agent_logic.evaluation
      • agent_logic.evaluation.evaluator
      • agent_logic.evaluation.truth_table
    • agent_logic.models
      • agent_logic.models.llm_proof_model
    • agent_logic.parsing
      • agent_logic.parsing.ast_parser
      • agent_logic.parsing.token_parser
    • agent_logic.proofs
      • agent_logic.proofs.combinatorial_proofs
      • agent_logic.proofs.inference_rules
      • agent_logic.proofs.proof_system
      • agent_logic.proofs.quantifier_rules
      • agent_logic.proofs.sequent_calculus
      • agent_logic.proofs.unification
    • agent_logic.utils
      • agent_logic.utils.logger
Back to top
Copyright © 2025, William R. Astley (Pr1m8)
Made with Sphinx and @pradyunsg's Furo