Basics
Basic control structures for programming like if and
cond, binding operators like let and flet, multiple-value
constructs like mv, and so forth.
Subtopics
- Let
- Binding of lexically scoped (local) variables
- Return-last
- Return the last argument, perhaps with side effects
- Mv-let
- Calling multi-valued ACL2 functions
- Flet
- Local binding of function symbols
- Or
- Disjunction
- Mv
- Returning a multiple value
- And
- Conjunction
- Booleanp
- Recognizer for booleans
- If
- If-then-else function
- Not
- Logical negation
- Equal
- True equality
- Implies
- Logical implication
- Iff
- Logical ``if and only if''
- Macrolet
- Local binding of macro symbols
- Quote
- Create a constant
- Let*
- Binding of lexically scoped (local) variables
- Case-match
- Pattern matching or destructuring
- ACL2-count
- A commonly used measure for justifying recursion
- Case
- Conditional based on if-then-else using eql
- Good-bye
- Quit entirely out of Lisp
- Cond
- Conditional based on if-then-else
- Null
- Recognizer for the empty list
- Progn$
- Execute a sequence of forms and return the value of the last one
- Identity
- The identity function
- Xor
- Logical ``exclusive or''
