Public
Edited
Apr 6, 2023
Insert cell
Insert cell
solution.Call[0].Witnesses[0]
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
Insert cell
run = {
const clingo = await require(`clingo-wasm@${version}`);
await clingo.init(
`https://cdn.jsdelivr.net/npm/clingo-wasm@${version}/dist/clingo.wasm`
);
return clingo.run;
}
Insert cell
clingo = require("clingo-wasm")
Insert cell
ASPEditor = makeEditor({ language: "prolog" })
Insert cell
languageLabelStyles = `display: none;`
Insert cell
import { makeEditor } with { languageLabelStyles } from "@cmudig/editor"
Insert cell

Purpose-built for displays of data

Observable is your go-to platform for exploring data and creating expressive data visualizations. Use reactive JavaScript notebooks for prototyping and a collaborative canvas for visual data exploration and dashboard creation.
Learn more