A Computational Logic for Applicative Common Lisp

A Computational Logic for Applicative Common Lisp, aka A Computational Logic for Applicative Common Lisp, is a historical programming language created in 1990.

29Years Old

1,020Users

0Jobs

• A Computational Logic for Applicative Common Lisp ranks in the top 50% 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
• I have 35 facts about A Computational Logic for Applicative Common Lisp. just email me if you need more.

Edit

acl2 wikipedia ACL2 appeared 1990

Email your updated file to feedback@codelani.com with subject "update A Computational Logic for Applicative Common Lisp"

Last updated February 11th, 2019