Information technology -- Programming languages -- Prolog -- Part 1: General core
(Not available in French)
Designed to promote the applicability and portability of Prolog text and data among a variety of data processing systems. Specifies: the representation of Prolog text; the syntax and constraints of the Prolog language; the semantic rules for interpreting Prolog text; the representation of input data to be processed by Prolog; the representation of output produced by Prolog and the restrictions and limits imposed on a conforming Prolog processor.
Document published on: 1995-06 Edition: 1 (Monolingual) ICS: 35.060 Status: Published Stage: 90.93 (2008-07-29) TC/SC: ISO/IEC JTC 1/SC 22 Number of Pages: 199
This standard has not been revised