Execute a Prolog goal and return all solutions as JSON

Assert a fact or rule into the KB. Persists to disk and survives daemon restarts. Use agent:main (default) for permanent knowledge; use session: for ephemeral facts tied to the current session.

Retract matching facts or rules from a layer. Removes from disk and reloads — retraction survives daemon restarts.

Write a .pl file to disk and hot-reload it. WARNING: replaces the entire file — not an append. Use for authoring multi-clause rule files (core.pl, scratch/). For individual facts use prolog_assert instead. On syntax error the file is rolled back and the server keeps running.

Hot-reload an existing .pl file

List facts in the KB, optionally filtered by functor

Clear a session or scratch layer (core and agent layers are permanent)