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
LLM-contributed programs
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)