acl2 was developed by who?
(AND computer.programming_language_developer (JOIN computer.programming_language_developer.programming_languages_developed m.015hl_))