CLASSIC
1 program
Added 2026-03-16T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: CLASSIC description logic
Provenance: commit bc5fcdb912 · authored 2026-03-16T23:23:14+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
2 sources · pl_id:
pl/classicRelated languages
LLM-contributed programs
Family ontology
Provenance: commit bc5fcdb912 · authored 2026-03-16T23:23:14+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
;; CLASSIC description logic example: simple family ontology
(define-concept Person (primitive Top))
(define-concept Female (primitive Person))
(define-concept Male (primitive Person))
(define-concept Parent
(and Person
(at-least 1 has-child Person)))
(define-concept Mother
(and Female Parent))
(define-concept Father
(and Male Parent))
(define-individual MARY
:instance-of Female
:fills (has-child JOHN))
(define-individual JOHN
:instance-of Male)
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.)