neurolang.logic

Classes

BinaryLogicOperator(*args, **kwargs)	Methods
Conjunction(formulas)	Methods
Disjunction(formulas)	Methods
ExistentialPredicate(head, body)	Methods
Implication(consequent, antecedent)	Expression of the form P(x) ← Q(x)
LogicOperator(*args, **kwargs)	Methods
NaryLogicOperator(*args, **kwargs)	Methods
Negation(formula)	Methods
Predicate(functor, args[, kwargs, ...])	Attributes:
Quantifier(*args, **kwargs)	Methods
UnaryLogicOperator(*args, **kwargs)	Methods
Union(formulas)	Methods
UniversalPredicate(head, body)	Methods