ekb_create1

Usage

Overview

ekb_create 3.2.5

Create an empty knowledge base with name <name> for E.

Options

-h

--help

Print a short description of program usage and options.

-V

--version

Print the version number of the program.

-v

--verbose[=<arg>]

Verbose comments on the progress of the program. The short form or the long form without the optional argument is equivalent to --verbose=1.

-n <arg>

--negative-example-number=<arg>

Set the (maximum) number of negative examples to pick if the proof listing does not describe a successful proof.

-p <arg>

--negative-example-proportion=<arg>

Set the maximum number of negative examples (expressed as a proportion of the positive examples) to pick if the proof listing does describe a successful proof