lojix/wam_prolog/src/main/com/thesett/aima/logic/fol/wam/machine/WAMResolvingJavaMachine.java
private boolean internalExecute_1()
    {
        int pn = setupCall_1();

        if (pn == -1)
        {
            return false;
        }

        // Make the call.
        /*trace.fine(ip + ": (EXECUTE) " + pn + " (cp = " + cp + ")]");*/

        // B0 <- B
        b0 = bp;

        // P <- @(p/n)
        ip = pn;

        return true;
    }
private boolean internalExecute_1()
    {
        int pn = setupCall_1();

        if (pn == -1)
        {
            return false;
        }

        // Make the call.
        /*trace.fine(ip + ": (EXECUTE) " + pn + " (cp = " + cp + ")]");*/

        // B0 <- B
        b0 = bp;

        // P <- @(p/n)
        ip = pn;

        return true;
    }
private boolean internalExecute_1 ( ) { int pn = setupCall_1 ( ) ; if ( pn == - 1 ) { return false ; } // Make the call. /*trace.fine(ip + ": (EXECUTE) " + pn + " (cp = " + cp + ")]");*/ // B0 <- B b0 = bp ; // P <- @(p/n) ip = pn ; return true ; }
Implements the execute variant of the 'call/1' predicate.

@return <tt>true</tt> if the call succeeded, and <tt>false</tt> if it failed.
Implements the execute variant of the call / 1 predicate .