prolog
The Prolog REPL, run as python -m tuprolog.repl.prolog.
It starts a tuprolog.repl.PrologREPL on a Prolog solver, with a mutable knowledge base
to which typed clauses are added. Importing this module does not start the REPL.