What first and rest do:

rex :   first([F|R]) = F;

java :  first= F

rex :  rest([F|R]) = R;

java :   rest