LiveKnowledge

Browser induction app (WebILP) — LLM grounding, human review, then Clingo + Trealla. Read the series: Part 1 — Architecture · Part 2 — WebILP in the browser.

Starting…

Setup (import & LLM key)

Key stays in browser storage only. Default: OpenRouter openrouter/free.

This is the interactive app from LiveKnowledge Part 2. Ground facts and examples with the LLM, review and give feedback, then induce a rule with Clingo + Trealla. New here? Start with Part 1 — architecture.

1

Source

Prose, rules, or domain description — what you want to learn from.

2

Ground with LLM

Turn prose into Popper files. Pick one path — or both.

Use when starting fresh. LLM writes all three files: facts (bk), search space (bias), supervision (exs).

or

Use when you already have bias/exs and only need more background facts. Clingo checks the merge does not contradict existing bk.

Run a grounding step to continue click to expand 
No grounding run yet.
3

Review & human feedback

Edit files directly, or tell the LLM what to fix. Suggest more examples before inducing.

bk.pl

bias.pl

exs.pl

4

Induce (symbolic)

Validate supervision, then search for a rule with Clingo WASM + Trealla.

Advanced: preview Alan → Clingo encoding
5

Result & pin to knowledge

Learned rule and coverage. Add it to bk to reuse in the next round.