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