LambdaProlog
1 program
Added 2026-03-06T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Lambda Prolog, λProlog
Provenance: commit 51cbb3c7f4 · authored 2026-03-06T11:43:36+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 Operations (append, length, member, reverse)
Provenance: commit 51cbb3c7f4 · authored 2026-03-06T11:43:36+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
module lists.
kind list type -> type.
type nil list A.
type cons A -> list A -> list A.
type append list A -> list A -> list A -> o.
type length list A -> int -> o.
type member A -> list A -> o.
type reverse list A -> list A -> o.
type rev_aux list A -> list A -> list A -> o.
append nil L L.
append (cons X L1) L2 (cons X L3) :- append L1 L2 L3.
length nil 0.
length (cons _ L) N :- length L M, N is M + 1.
member X (cons X _).
member X (cons _ L) :- member X L.
rev_aux nil Acc Acc.
rev_aux (cons X L) Acc Result :- rev_aux L (cons X Acc) Result.
reverse L R :- rev_aux L 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.)