Quickstart

Source: README — Getting Started and the root Justfile.

Prerequisites

• Nix — rustc, cargo-component, just, wasmtime, mdbook, and the rest come from flake.nix.

Enter the shell and run the REPL

# From the nibli repository root
nix --extra-experimental-features 'nix-command flakes' develop

# Build the pipeline component + native host and launch the REPL
just run

just run is the full local operator path (WASM component + nibli-host). For a fast native check only:

just test          # unit tests (lib)
just check         # type-check workspace

First claims

In the REPL, assert facts and rules, then query by stating a claim (not asking a question):

animal(every dog).
dog(Adam).

Then query:

animal(Adam).

Expect TRUE with a proof when the rule and fact support the claim. See What Nibli guarantees for how to read FALSE vs UNKNOWN.

A larger starter table lives in the nibli KR cookbook. The repo root also ships example files such as readme.nibli, gdpr.nibli, and drug-interactions.nibli (:load path in the host REPL) — worked tours in the GDPR walkthrough and the drug-interactions walkthrough.

Dictionary note

The vocabulary is committed Rust source (nibli-lexicon/src/corpus/) — no network fetch at build or runtime. Local, CI, and the hosted playground share the same corpus.

Docs site (this book)

just docs          # build → mdbook/book/
just docs-serve    # http://127.0.0.1:3000

Prefer not to install?

Use the hosted playground — the engine runs fully in the browser.