The SolverFactory for the classic, ISO-standard SLD-NF resolution solver (:solve-classic).
:solve-classic