[PPL-devel] read_term/2