Rule

class Rule(descrption: str, premises: tuple[tuple[str, ...], ...], conclusions: tuple[tuple[str, ...], ...])

Bases: NamedTuple

Deduction rule.

Create new instance of Rule(descrption, premises, conclusions)

descrption: str

Alias for field number 0

premises: tuple[tuple[str, ...], ...]

Alias for field number 1

conclusions: tuple[tuple[str, ...], ...]

Alias for field number 2

classmethod parse_txt_file(fname)

Return type:

list[Rule]

classmethod parse_text(text)

Load deduction rule from a str object.

Return type:

list[Rule]

classmethod from_string(s, name='')

Return type:

Rule

variables()

Return type:

list[str]