Publisher's Synopsis
This text gives a preliminary account of the International Standards Organization's (ISO) standard for Prolog. The work describes in detail what ISO Prolog is, how it differs from existing systems and how existing code may be ported to ISO Prolog. A free disk is available containing a public-domain Prolog close to the ISO standard with the Prolog code from this text's appendices.