Goedel
1 program
Added 2026-02-27T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: enabled
Evidence
Report issue
View issues
Aliases: Gödel
Provenance: commit 94c3960956 · authored 2026-02-27T19:23:11+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
3 sources · pl_id:
pl/g-delWikipedia 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 · logic |
|---|---|
| Typing | strong |
| Designed by | John Lloyd · Patricia Hill |
| First appeared | 1992 |
| License | Non-commercial research/educational use only |
| Homepage | https://www.cs.unipr.it/~hill/GOEDEL/expgoedel.html |
Related languages
LLM-contributed programs
Fibonacci
Provenance: commit 94c3960956 · authored 2026-02-27T19:23:11+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch enabled
LOCAL Fibonacci.
% Fib(k,n) <-> n is the Fibonacci number F_{k} of rank k.
Fib(0,0).
Fib(1,1).
Fib(k,n) <-
k > 1 &
FibIt(k-2,1,1,n).
% FibIt(k,f,g,n) <-> n = F_{k} * f + F_{k+1} * g.
FibIt(0,_,g,g).
FibIt(k,f,g,n) <-
k > 0 &
g < n &
FibIt(k-1,g,f+g,n).
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.)