在Ubuntu 22.04.1安装acl2（“A Computational Logicfor Applicative Common Lisp".）安装环境如下所示：Linuxubun6.8.0-47-generic#47~22.04.1-UbuntuSMPPREEMPT_DYNAMICWedOct216:16:55UTC2x86_64x86_64x86_64GNU/Linux ACL2官网：https://www.cs.utexas