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
  --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
  -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.