Platform
Resources
Pricing
Sign in
Get started
Dominik Moritz
Faculty at CMU (@cmudig) and researcher at @apple.
Workspace
Fork
Public
By
Dominik Moritz
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.
Try it for free
Learn more
Fork
View
Export
Edit
Add comment
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
Add comment
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
Edit
Add comment
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
program
Edit
Add comment
Copy import
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
solution
Edit
Add comment
Copy import
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
problem
Edit
Add comment
Copy import
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
version
Edit
Add comment
Copy import
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
run
Add comment
Copy import
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
clingo
Add comment
Copy import
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
ASPEditor
Add comment
Copy import
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
languageLabelStyles
Add comment
Copy import
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML
Add comment
Copy import
Select
Duplicate
Copy link
Embed
Delete
JavaScript
Markdown
HTML