@Override public void visit(KItem node) { if (node.isGround() && node.isNormal()) { rhsSchedule.add(RHSInstruction.PUSH(node)); } else { node.kList().accept(this); node.kLabel().accept(this); rhsSchedule.add( RHSInstruction.CONSTRUCT( new Constructor(ConstructorType.KITEM, node.getSource(), node.getLocation()))); rhsSchedule.add(RHSInstruction.EVAL); } }
@Override public void visit(KItem kItem) { kItem.kLabel().accept(this); kItem.kList().accept(this); visit((Term) kItem); }