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