classic
Deprecated
This method is being renamed into "prolog" and its usage in this form is now deprecated
Replace with
Solver.prologContent copied to clipboard
The SolverFactory for the classic, ISO-standard SLD-NF resolution solver (:solve-classic).