ACL2

From Rosetta Code