lojix/prolog/src/main/com/thesett/aima/logic/fol/prolog/builtins/FloatCheck.java
public boolean proofStep(ResolutionState state)
    {
        Functor goalTerm = state.getGoalStack().poll().getFunctor();
        Term argument = goalTerm.getArgument(0).getValue();

        // Check that the argument is not a free variable.
        return argument.isNumber() && ((NumericType) argument.getValue()).isReal();
    }
public boolean proofStep(ResolutionState state)
    {
        Functor goalTerm = state.getGoalStack().poll().getFunctor();
        Term argument = goalTerm.getArgument(0).getValue();

        // Check that the argument is not a free variable.
        return argument.isNumber() && ((NumericType) argument.getValue()).isReal();
    }
public boolean proofStep ( ResolutionState state ) { Functor goalTerm = state . getGoalStack ( ) . poll ( ) . getFunctor ( ) ; Term argument = goalTerm . getArgument ( 0 ) . getValue ( ) ; // Check that the argument is not a free variable. return argument . isNumber ( ) && ( ( NumericType ) argument . getValue ( ) ) . isReal ( ) ; }
{@inheritDoc}
{