Allow PrologControl to cap the internal database size

Setting the size permits the application to avoid creating an array
of 100,000 entries, but also allows the array to be capped to some
reasonable limit preventing the Prolog code from expanding it on
the fly during execution.
3 files changed