Ito ang command na acl2 na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
acl2 - Isang Computational Logic
SINOPSIS
acl2
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng maikling acl2 utos. Ang manwal na pahinang ito ay isinulat para sa
Debian GNU/Linux distribution dahil walang manual page ang orihinal na program.
Sa halip, mayroon itong dokumentasyon sa GNU Info format gayundin sa html na format. Ang mga ito ay
kasama sa acl2-doc package. Ang dokumentasyon ay matatagpuan din sa proyekto
website, http://www.cs.utexas.edu/users/moore/acl2, kapwa sa html form at sa postscript.
Gumamit ng acl2 online gamit ang mga serbisyo ng onworks.net