Gödel
1 program
Added 2025-10-28T08:25:54Z
Model: google/gemini-2.5-proTemp: 0.4
Evidence
Report issue
View issues
Aliases: —
Provenance: commit f9b61b7f47 · authored 2025-10-28T09:25:54+01:00 · model google/gemini-2.5-pro
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
Quicksort in Gödel
Provenance: commit f9b61b7f47 · authored 2025-10-28T09:25:54+01:00 · model google/gemini-2.5-pro · Temp 0.4
MODULE Sort.
IMPORT Lists.
PREDICATE Sort : List(Integer) * List(Integer).
DELAY Sort(l,s) UNTIL Ground(l).
Sort([],[]).
Sort([x|l],s) <-
Partition(l,x,l1,l2) &
Sort(l1,s1) &
Sort(l2,s2) &
Append(s1,[x|s2],s).
PREDICATE Partition : List(Integer) * Integer * List(Integer) * List(Integer).
DELAY Partition(l,p,s,b) UNTIL Ground(l) & Ground(p).
Partition([],p,[],[]).
Partition([x|l],p,[x|s],b) <-
x =< p &
Partition(l,p,s,b).
Partition([x|l],p,s,[x|b]) <-
x > p &
Partition(l,p,s,b).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.)