means for translating {HEAD ~ said computing equation} of declarative representation into {TAIL ~ a computer program}; and 
into
means for translating { HEAD ~ said computing equation } of declarative representation into { TAIL ~ a computer program } ; and
OTH OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH