Home
Trees
Indices
Help
nltk 0.9.5
Package nltk
::
Package inference
:: Module inference
[
hide private
]
[
frames
] |
no frames
]
Module inference
source code
Functions
[
hide private
]
get_prover
(
goal
=
None
,
assumptions
=
[
]
,
prover_name
=
'
Prover9
'
)
source code
get_model_builder
(
goal
=
None
,
assumptions
=
[
]
,
model_builder_name
=
'
Mace
'
)
source code
demo
()
source code
Function Details
[
hide private
]
get_prover
(
goal
=
None
,
assumptions
=
[
]
,
prover_name
=
'
Prover9
'
)
source code
Parameters:
goal
(
logic.Expression
) - Input expression to prove
assumptions
(
list
of logic.Expression objects) - Input expressions to use as assumptions in the proof
get_model_builder
(
goal
=
None
,
assumptions
=
[
]
,
model_builder_name
=
'
Mace
'
)
source code
Parameters:
goal
(
logic.Expression
) - Input expression to prove
assumptions
(
list
of logic.Expression objects) - Input expressions to use as assumptions in the proof
Home
Trees
Indices
Help
nltk 0.9.5
Generated by Epydoc 3.0beta1 on Wed Aug 27 15:08:50 2008
http://epydoc.sourceforge.net