Next: , Previous: Terms, Up: Top


3 Options

-e
–evaluate
Run Aris in evaluation mode.
-p PREMISE
–premise=PREMISE
Use PREMISE as a premise in evalution mode. This flag can be specified multiple times.
-c CONCLUSION
–conclusion=CONCLUSION
Use CONCLUSION as a conclusion in evaluation mode. This flag can only be specified once.
-r RULE
–rule=RULE
Use RULE as a rule in evaluation mode. This flag can only be specified once.
-a VARIABLE
–variable=VARIABLE
Use VARIABLE as a known variable in evaluation mode. Prepend an '*' to specifiy that the variable is arbitrary.
-f FILE
–file=FILE
Evaluate FILE if running Aris in evaluation mode, otherwise load FILE in Aris. This flag can be specified multiple times.
-l
–list
List the rules available in Aris, and exit.
-v
–verbose
Run Aris verbosely, printing status and error messages.
–version
Print the version of Aris and exit.
-h
–help
Print a help message and exit.