Drive a KB from the shell: assert, match, query, and an interactive REPL.
Public because it is a documented entry point — lein cli, or
lein run -m vaelii.cli. The implementation is vaelii.impl.cli, which is free to
change.
Drive a KB from the shell: assert, match, query, and an interactive REPL. Public because it is a documented entry point — `lein cli`, or `lein run -m vaelii.cli`. The implementation is `vaelii.impl.cli`, which is free to change.
(-main & args)Run one command and print its result.
lein cli assert '(dog Fido)' NaturalWorldContext --dir /var/lib/vaelii lein cli match '(dog ?x)' NaturalWorldContext --dir /var/lib/vaelii lein cli repl --starter
Run one command and print its result. lein cli assert '(dog Fido)' NaturalWorldContext --dir /var/lib/vaelii lein cli match '(dog ?x)' NaturalWorldContext --dir /var/lib/vaelii lein cli repl --starter
(dispatch kb cmd args opts)Run one command against kb and return its result (a handle, a seq of sentences or
solutions, a proof tree, …) — the same verbs -main takes, for a caller that has its
own argument handling. args are data; opts is the parsed option map.
Run one command against `kb` and return its result (a handle, a seq of sentences or solutions, a proof tree, …) — the same verbs `-main` takes, for a caller that has its own argument handling. `args` are data; `opts` is the parsed option map.
(open-kb-from opts)The KB a set of parsed CLI options names — --dir for the durable :disk backend
(recovered on open), --starter for a starter-loaded in-memory one, else empty.
The KB a set of parsed CLI options names — `--dir` for the durable `:disk` backend (recovered on open), `--starter` for a starter-loaded in-memory one, else empty.
cljdoc builds & hosts documentation for Clojure/Script libraries
| Ctrl+k | Jump to recent docs |
| ← | Move to previous article |
| → | Move to next article |
| Ctrl+/ | Jump to the search field |