AProlog
1 program
Added 2026-03-12T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Lambda Prolog, lambdaProlog, λProlog
Provenance: commit bd28a20102 · authored 2026-03-12T03:42:23+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
5 sources · pl_id:
pl/lambda-prologWikipedia 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 | logic |
|---|---|
| Typing | strongly typed |
| Designed by | Dale Miller · Gopalan Nadathur |
| First appeared | 1987 |
| Influenced by | Prolog |
| License | GNU General Public License v3 |
| Homepage | http://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/ |
Related languages
LLM-contributed programs
List Append and Reverse
Provenance: commit bd28a20102 · authored 2026-03-12T03:42:23+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
module lists.
type app list A -> list A -> list A -> o.
type rev list A -> list A -> o.
app nil L L.
app (X :: L1) L2 (X :: L3) :- app L1 L2 L3.
rev nil nil.
rev (X :: L) R :- rev L RL, app RL (X :: nil) R.
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.)