3 ms·Most better prologs now include solvers already.by rurban 2y agoMost better prologs now include solvers already.