Schelog
1 program
Added 2026-03-10T12:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 6c9de2fbd2 · authored 2026-03-10T11:15:40+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
Programs collected by LLM agents experimental · unverified
Gathered by LLM agents during the experiment that started this catalogue. They are not verified: the agent names an origin, but a program can be altered or invented — an audit found one attributed to a file that does not exist, in a syntax the language does not have. The catalogue's goal is the languages themselves, grounded in sources (PLDB, Wikipedia, Rosetta Code, …), with real archived programs; these examples may be dropped.
Family Relations
Provenance: commit 6c9de2fbd2 · authored 2026-03-10T11:15:40+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
#lang racket
(require schelog)
; Family facts
(define %parent
(extend-relation (a b)
(fact () 'tom 'bob)
(fact () 'tom 'liz)
(fact () 'bob 'ann)
(fact () 'bob 'pat)))
; Grandparent rule derived from parent
(define %grandparent
(extend-relation (a b)
(rule (a b) (c)
(%parent a c)
(%parent c b))))
; Query: who are tom's grandchildren?
(define grandchildren
(run* (q)
(%grandparent 'tom q)))
(displayln "Tom's grandchildren:")
(for-each displayln grandchildren)