Class ClauseActionFactory.VariableAntecedantClauseAction

  • All Implemented Interfaces:
    ClauseAction
    Enclosing class:
    ClauseActionFactory

    static final class ClauseActionFactory.VariableAntecedantClauseAction
    extends java.lang.Object
    implements ClauseAction
    Clause where the antecedent is a variable.

    When the antecedent is a variable then the associated predicate factory can only be determined at runtime.

    e.g. "p(X) :- X."