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;
    }
Implements the execute variant of the 'call/1' predicate.

@return <tt>true</tt> if the call succeeded, and <tt>false</tt> if it failed.