nltk.TableauProver

class nltk.TableauProver[source]

Methods

is_atom(e)
prove([goal, assumptions, verbose])
return:Whether the proof was successful or not.