# A Computational Logic for Applicative Common Lisp

A Computational Logic for Applicative Common Lisp, aka A Computational Logic for Applicative Common Lisp, is a programming language created in 1990. ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for the purpose of software and hardware verification. The input language and implementation of ACL2 are built on Common Lisp. Read more on Wikipedia...

30Years Old | 20Users | ?Jobs |

- A Computational Logic for Applicative Common Lisp ranks in the top 25% of languages
- the A Computational Logic for Applicative Common Lisp wikipedia page
- A Computational Logic for Applicative Common Lisp first appeared in 1990
- See also: common-lisp, axiom
- Have a question about A Computational Logic for Applicative Common Lisp not answered here? Email me and let me know how I can help.

Last updated January 18th, 2020

Edit A Computational Logic for Applicative Common Lisp on GitHub