464748495051525354
@Override public int exec(Prog p) { DataBase db = (DataBase) ((JavaObject) getArg(0)).toObject(); Term X = getArg(1); Term R = db.all(X.getKey(), X); return putArg(2, R, p); } }