Preparing Prolog
We now use the time to prepare a few Prolog systems, so that when interest in symbolic AI resurges, we can point governments and companies to Prolog systems that satisfy all our desiderata, such as: conformance to the ISO standard, availability of the latest declarative constructs, robustness, efficiency etc. A few simple principles help us to prepare the right things.