Besonderhede van voorbeeld: -9167901268576122689

English

The ACL2 programming language is an applicative (side-effect free) variant of Common Lisp.

Chinese

ACL2程序语言可看作是一个函数式(无任何副作用)的 Common Lisp 变体。