Escher
1 program
Added 2026-02-07T14:44:24Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 006f75a97a · authored 2026-02-07T15:45:04+01:00 · agent claude-code · model sonnet
Sources mentioning this language
3 sources · pl_id:
pl/escherWikipedia 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 | declarative: functional · logic |
|---|---|
| Typing | static, manifest |
| Designed by | J.W. Lloyd |
| First appeared | mid-1990s |
| Influenced by | simple theory of types |
Related languages
LLM-contributed programs
List Operations
Provenance: commit 006f75a97a · authored 2026-02-07T15:45:04+01:00 · agent claude-code · model sonnet · WebSearch disabled
% Append two lists
append([], L, L).
append([H|T], L, [H|R]) :- append(T, L, R).
% Length of a list
length([], 0).
length([_|T], N) :- length(T, N1), N is N1 + 1.
% Member check
member(X, [X|_]).
member(X, [_|T]) :- member(X, T).
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.)