model

Interface Clause

All Superinterfaces:

PCExpression

All Known Implementing Classes:

AbstractOperator, And, Arithmetic, Equal, Not, SimpleSentence

public interface Clause
extends PCExpression

This interface represents a subdivision among the predicate expressions. It extends the PCExpression interface and creates the subdivision of the predicate expressions that can be a query.

Author:

Alexandre Camus

Method Summary

Methods

Modifier and Type	Method and Description
AbstractSolutionNode	getSolver(RuleSet rules, SubstitutionSet parentSolution, AbstractSolutionNode parentNode) Creates a solver which is a node in the tree proof.

Methods inherited from interface model.PCExpression

replaceVariables, standardizeVariablesApart

Method Detail

getSolver

AbstractSolutionNode getSolver(RuleSet rules,
                             SubstitutionSet parentSolution,
                             AbstractSolutionNode parentNode)

Creates a solver which is a node in the tree proof. This method must be implemented in every implementation of Clause.

This function is recursive over all objects that can be proved and creates the tree of proof for a clause.

Parameters:

rules - the RuleSet object containing the rules of knowledge.

parentSolution - the solution known so far at the parent node.

Returns:

the node of the tree of proof.

See Also:

AbstractSolutionNode.nextSolution()