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