ALF
1 program
Added 2026-02-07T15:02:38Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: Algebraic Logic Functional
Provenance: commit 622c99d82b · authored 2026-02-07T16:03:33+01:00 · agent claude-code · model sonnet
Sources mentioning this language
4 sources · pl_id:
pl/alfWikipedia 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 | multi-paradigm: logic · functional |
|---|---|
| Influenced by | Prolog |
| Homepage | http://www.informatik.uni-kiel.de/~mh/systems/ALF |
Related languages
LLM-contributed programs
Factorial with Natural Numbers
Provenance: commit 622c99d82b · authored 2026-02-07T16:03:33+01:00 · agent claude-code · model sonnet · WebSearch disabled
module factorial.
import basics.
export factorial.
type nat ::= zero | s(nat).
function
factorial: nat -> nat.
rules
factorial(zero) => s(zero);
factorial(s(N)) => times(s(N), factorial(N)).
function
times: nat * nat -> nat.
rules
times(zero, _) => zero;
times(s(N), M) => plus(M, times(N, M)).
function
plus: nat * nat -> nat.
rules
plus(zero, M) => M;
plus(s(N), M) => s(plus(N, M)).
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.)