Skip to content

CLI Reference

typedlogic

Usage:

typedlogic [OPTIONS] COMMAND [ARGS]...

Options:

  --install-completion  Install completion for the current shell.
  --show-completion     Show completion for the current shell, to copy it or
                        customize the installation.
  --help                Show this message and exit.

convert

Convert from one logic form to another.

For a list of supported parsers and compilers, see https://py-typedlogic.github.io/py-typedlogic/

Note that some conversions may be lossy. Currently no warnings are issued for such cases.

Example:

typedlogic convert  my_theory.py -t fol

Usage:

typedlogic convert [OPTIONS] THEORY_FILES...

Options:

  THEORY_FILES...                 [required]
  -f, --input-format TEXT         Input format. Currently supported: python,
                                  yaml, owlpy  [default: python]
  -t, --output-format TEXT        Output format
  -o, --output-file PATH          Output file path
  --validate-types / --no-validate-types
                                  Use mypy to validate types  [default:
                                  validate-types]
  --help                          Show this message and exit.

solve

Solve using the specified solver.

Example:

typedlogic solve --solver clingo my_theory.py my_data.yaml

Usage:

typedlogic solve [OPTIONS] THEORY_FILE [DATA_FILES]...

Options:

  THEORY_FILE                     [required]
  --solver TEXT                   Solver to use
  -c, --check-only                Check only, do not solve
  --validate-types / --no-validate-types
                                  Use mypy to validate types  [default:
                                  validate-types]
  -f, --input-format TEXT         Input format. Currently supported: python,
                                  yaml, owlpy  [default: python]
  -d, --data-input-format TEXT    Format for ground terms
  -t, --output-format TEXT        Output format
  -o, --output-file PATH          Output file path
  [DATA_FILES]...
  --help                          Show this message and exit.