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();
    }
{@inheritDoc}