Compound-term processing