nltk.inference.TableauProver

class nltk.inference.TableauProver[source]

Bases: Prover

static is_atom(e)[source]
prove(goal=None, assumptions=None, verbose=False)[source]
Returns

Whether the proof was successful or not.

Return type

bool