ACL2
1 program
Added 2025-10-30T07:19:08Z
Model: x-ai/grok-4-fastTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 00415583ab · authored 2025-10-30T08:19:08+01:00 · model x-ai/grok-4-fast
Sources mentioning this language
5 sources · pl_id:
pl/acl2Wikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Paradigms | functional · meta |
|---|---|
| Typing | dynamic |
| Designed by | Matt Kaufmann · J Strother Moore · Robert S. Boyer |
| First appeared | 1990 |
| Influenced by | Common Lisp · Nqthm |
| License | BSD |
| Homepage | http://www.cs.utexas.edu/users/moore/acl2 |
Related languages
LLM-contributed programs
Factorial function
Provenance: commit 00415583ab · authored 2025-10-30T08:19:08+01:00 · model x-ai/grok-4-fast · Temp 0.4
(defun fact (n)
(if (zp n)
1
(* n (fact (1- n)))))Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)