vaelii.client — com.vaelii/vaelii 0.3.0

A thin EDN-over-HTTP client for the vaelii daemon (vaelii.serve). Runs no engine: it POSTs {:op :args} and reads the result back, over JDK java.net.http (no dependency — JDK 21 ships it).

Every call threads an explicit connection handle as its first argument — (query conn '(dog ?x) 'Ctx) — the network mirror of vaelii.core's explicit-kb API. A conn from client holds a reusable HttpClient; no socket opens until a call. A daemon reply of {:ok false} becomes an ex-info carrying the daemon's :error and :type, so a remote naming or disjointness refusal surfaces like a local one.

Public because a client is a thing applications write against; the implementation is vaelii.impl.client, which is free to change. Result shapes are vaelii.core's: a sentex comes back as a plain map (the daemon projects the record), a solution as a binding map.

ask clj

(ask conn goal)

(ask conn goal context)

The first solution for goal, or nil.

ask? clj

(ask? conn goal)

(ask? conn goal context)

Whether goal has any solution.

assert clj

(assert conn sentence context)

(assert conn sentence context opts)

Assert sentence in context (optional opts) — returns the handle(s). Bare — no ! — for vaelii.core/assert's reason: additive, and retract! takes it back.

assert-many clj

(assert-many conn sentences context)

(assert-many conn sentences context opts)

Assert every sentence in sentences into context, as one call.

assert-rule clj

(assert-rule conn antecedents consequent context)

(assert-rule conn antecedents consequent context opts)

Assert a rule from antecedents to consequent in context — returns the handle(s); a conjunctive consequent yields one handle per conjunct.

call clj

(call conn op args)

POST {:op op :args args} and return the :result, or throw ex-info on an {:ok false} reply. The low-level entry the wrappers below use; reach for it for an op with no wrapper yet — vaelii.serve/ops is the reachable set.

client clj

(client host port)

(client host port opts)

A connection handle to a daemon at host:port (opts: :timeout-ms, default 30000). Holds a reusable HttpClient; no network happens until a call.

conflicts clj

(conflicts conn)

The KB's current conflicts.

contexts clj

(contexts conn)

Every context the KB holds.

contradictions clj

(contradictions conn)

The coexisting P/¬P dilemmas.

find-sentexes clj

(find-sentexes conn term)

Every sentex containing term.

genls clj

(genls conn t)

The types t is a subtype of, transitively.

handle-of clj

(handle-of conn sentence context)

The handle for sentence in context, or nil.

health clj

(health conn)

The daemon's liveness reply, {:ok true} — a GET, so it needs no op.

in? clj

(in? conn handle)

Whether the sentex handle names is currently believed.

isa? clj

(isa? conn x t)

(isa? conn x t context)

Whether individual x is of type t, through the genl closure.

provable? clj

(provable? conn goal)

(provable? conn goal context)

Whether goal is provable.

prove clj

(prove conn goal)

(prove conn goal context)

A proof tree for goal, as data.

query clj

(query conn goal)

(query conn goal context)

(query conn goal context opts)

Solutions for goal as binding maps — ({?x Fido}).

retract! clj

(retract! conn handle)

Retract the sentex handle names, tearing down what it solely supported.

sentex clj

(sentex conn handle)

The sentex handle names, as a map.

sentexes-matching clj

(sentexes-matching conn sentence)

(sentexes-matching conn sentence context)

The believed sentexes matching sentence (a pattern may carry ?vars), as maps.

specs clj

(specs conn t)

The types that are subtypes of t, transitively.

types-of clj

(types-of conn x)

(types-of conn x context)

The types individual x belongs to.

violations clj

(violations conn)

The recorded definitional violations.

why clj

(why conn handle)

Why the sentex handle names is believed — its supporting justifications, as data.

why-not clj

(why-not conn handle)

(why-not conn sentence context)

Why a sentence is not believed, by handle or by sentence and context.