		Search-engine friendly clone of the ACL2 documentation.

Programming

Lists

Lists of objects, the classic Lisp data structure.

Subtopics

Member: Membership predicate
Append: concatenate zero or more lists
List: Build a list
Nth: The nth element (zero-based) of a list
Len: Length of a list
True-listp: Recognizer for proper (nil-terminated) lists
String-listp: Recognizer for a true list of strings
Nat-listp: Recognizer for a true list of natural numbers
Character-listp: Recognizer for a true list of characters
Symbol-listp: Recognizer for a true list of symbols
True-list-listp: Recognizer for true (proper) lists of true lists
Length: Length of a string or proper list
Search: Search for a string or list in another string or list
Intersection$: Elements common to the given lists
Union$: A list that contains exactly the elements of the given lists
Remove-duplicates: Remove duplicates from a string or a list
Position: Position of an item in a string or a list
Take: Initial segment (first n elements) of a list
Update-nth: Modify a list by putting the given value at the given position
Nthcdr: Final segment of a list
Set-difference$: Elements of one list that are not elements of another
Subsetp: Test if every member of one list is a member of the other
No-duplicatesp: Check for duplicates in a list
Concatenate: Concatenate lists or strings together
Remove: Remove all occurrences
Remove1: Remove first occurrences, testing using eql
Intersectp: Test whether two lists intersect
Endp: Recognizer for empty lists
Keyword-value-listp: Recognizer for true lists whose even-position elements are keywords
Integer-listp: Recognizer for a true list of integers
Reverse: Reverse a list or string
Add-to-set: Add a symbol to a list
List-utilities: Some utilities for lists.
Set-size: Size of a set represented as a list.
Revappend: Concatenate the reverse of one list to another
Subseq: Subsequence of a string or list
Make-list: Make a list of a given size
Last: The last cons (not element) of a list
Lists-light: A lightweight library for lists.
Boolean-listp: Recognizer for a true list of booleans
Butlast: All but a final segment of a list
Pairlis$: Zipper together two lists
Substitute: Substitute into a string or a list, using eql as test
Count: Count the number of occurrences of an item in a string or true-list
Keyword-listp: Recognizer for true lists of keywords
List*: Build a list
Eqlable-listp: Recognizer for a true list of objects each suitable for eql
Pos-listp: Recognizer for a true list of positive integers
Integer-range-listp: Recognize true lists of integers in ranges.
Rational-listp: Recognizer for a true list of rational numbers
Evens: The even-indexed members of a list
Atom-listp: Recognizer for a true list of atoms
ACL2-number-listp: Recognizer for a true list of numbers
Typed-list-utilities: Some utilities for typed lists.
Odds: The odd-indexed members of a list
List$: Build a list
Listp: Recognizer for (not necessarily proper) lists
Standard-char-listp: Recognizer for a true list of standard characters
Last-cdr: The last cdr of a list
Pairlis: See pairlis$
Proper-consp: Recognizer for proper (nil-terminated) non-empty lists
Improper-consp: Recognizer for improper (non-nil-terminated) non-empty lists
Pairlis-x2: Cons each element of a list with a given element
Pairlis-x1: Cons a given element to each member of a list
Merge-sort-lexorder: Sort a list
Fix-true-list: Coerce to a true list
Real-listp: ACL2(r) recognizer for a true list of real numbers