set(1)

NAME
set - set parameters for Progol.

SYNOPSIS
set(Parameter,IntegerValue)? settings?

DESCRIPTION
set/2 allows a range of parameters to be set. These parameters control the resources available to Progol , maximum cardinality of clauses, depth bound for the theorem prover, maximum layers of new variables, relaxing consistency, and report verbosity. settings/0 shows present parameter settings.

OPTIONS

set(nodes,MaxNodes)
    set upper bound on the nodes to be explored by Progol when searching for a consistent clause (default 10000).

set(c,Length)
    set upper bound on number of literals in the body of a consistent clause (default 4).

set(h,Depth)
    set depth bound on theorem prover (default 30).

set(i,IVal)
    set upper bound on layers of new variables (default 5).

set(noise,MaxNegatives)
    set upper bound on the number of negatives that can be covered by an acceptable clause (default 0).

set(verbose,Verbosity)
    set report verbosity for Progol. Increasing Verbosity makes Progol more talkative (default 1).

EXAMPLES
Here are the default settings for Progol.
        set(nodes,10000)?
        set(c,4)?
        set(h,10000)?
        set(i,5)?
        set(noise,0)?
        set(verbose,1)?

SEE ALSO