Lambda Prolog
1 program
Added 2026-02-07T18:33:09Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: λProlog, lambdaProlog
Provenance: commit 5cb056e051 · authored 2026-02-07T19:34:17+01:00 · agent claude-code · model sonnet
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 with Type Declarations
Provenance: commit 5cb056e051 · authored 2026-02-07T19:34:17+01:00 · agent claude-code · model sonnet · WebSearch disabled
module append_example.
% Type declarations
type list A -> type.
type nil list A.
type cons A -> list A -> list A.
type append list A -> list A -> list A -> o.
% Append predicate definition
append nil L L.
append (cons X L1) L2 (cons X L3) :- append L1 L2 L3.
% Example query (commented)
% ?- append (cons 1 (cons 2 nil)) (cons 3 nil) L.
% L = cons 1 (cons 2 (cons 3 nil))
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.)