Playground: add an "Explain with AI" button - #1
Merged
Conversation
Add a toolbar "Explain" pill beside Compile that opens a Claude / ChatGPT chat prefilled with a prompt built from the live editor state — the Synalog program, the selected engine, and the compiled SQL (only when the last compile succeeded). Mirrors the docs' Summarize button but uses toolbar-native styling so it matches the squared Compile control rather than the header pill. Also reword the playground intro to match the stacked (top/bottom) layout instead of describing left/right panes. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Replace the property-axioms table in docs/ontologies.md with a worked, code-first section. Add docs/examples/axioms.ttl — one ontology exercising every translated OWL construct (subClassOf, equivalentClass, disjointWith, Transitive/Symmetric/Reflexive/Functional/InverseFunctional/Asymmetric/ Irreflexive properties, inverseOf, subPropertyOf, equivalentProperty, sameAs, differentFrom) — and its generated axioms.l, then walk through each construct showing the OWL declaration and the exact Synalog import produces. A few assertions are intentionally inconsistent so the generated *Violation concepts return rows; axioms.log captures the closures and checks executing on DuckDB. The actors are typed :Person directly because concept membership is data-driven on the asserted type, not inferred through subClassOf. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Add a toolbar "Explain" pill beside Compile that opens a Claude / ChatGPT chat prefilled with a prompt built from the live editor state — the Synalog program, the selected engine, and the compiled SQL (only when the last compile succeeded). Mirrors the docs' Summarize button but uses toolbar-native styling so it matches the squared Compile control rather than the header pill.
Also reword the playground intro to match the stacked (top/bottom) layout instead of describing left/right panes.