vaelii.impl.client — com.vaelii/vaelii 0.1.0

A thin EDN-over-HTTP client for the vaelii daemon (vaelii.impl.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/disjointness refusal surfaces like a local one.

ask clj

(ask conn goal)

(ask conn goal context)

ask? clj

(ask? conn goal)

(ask? conn goal context)

assert! clj

(assert! conn sentence context)

(assert! conn sentence context opts)

Assert sentence in context (optional opts) — returns the handle(s).

assert-many clj

(assert-many conn sentences context)

(assert-many conn sentences context opts)

assert-rule! clj

(assert-rule! conn antecedents consequent context)

(assert-rule! conn antecedents consequent context opts)

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 convenience fns wrap; use it for an op with no wrapper yet.

client clj

(client host port)

(client host port {:keys [timeout-ms] :or {timeout-ms 30000}})

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)

contexts clj

(contexts conn)

contradictions clj

(contradictions conn)

find-sentexes clj

(find-sentexes conn term)

genls clj

(genls conn t)

handle-of clj

(handle-of conn sentence context)

health clj

(health conn)

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

in? clj

(in? conn handle)

isa? clj

(isa? conn x t)

(isa? conn x t context)

provable? clj

(provable? conn goal)

(provable? conn goal context)

prove clj

(prove conn goal)

(prove conn goal context)

query clj

(query conn goal)

(query conn goal context)

(query conn goal context opts)

retract! clj

(retract! conn handle)

sentex clj

(sentex conn handle)

sentexes-matching clj

(sentexes-matching conn sentence)

(sentexes-matching conn sentence context)

specs clj

(specs conn t)

types-of clj

(types-of conn x)

(types-of conn x context)

violations clj

(violations conn)

why clj

(why conn handle)

why-not clj

(why-not conn handle)

(why-not conn sentence context)