Designed to advertise the applicability and portability of Prolog textual content and knowledge between various facts processing structures. Specifies: the illustration of Prolog textual content; the syntax and constraints of the Prolog language; the semantic ideas for reading Prolog textual content; the illustration of enter facts to be processed by way of Prolog; the illustration of output produced via Prolog and the limitations and bounds imposed on a conforming Prolog processor.
Read Online or Download ISO/IEC 13211-1:1995, Information technology - Programming languages - Prolog - Part 1: General core PDF
Similar Technology books
Treatise on Materials Science and Technology
Nice for examine, examine or assessment!
Community research
Direct Methods for Sparse Matrices (Monographs on Numerical Analysis)
This booklet offers functional techniques to the effective use of sparsity--a key to fixing huge difficulties in lots of fields, together with computational technological know-how and engineering, the place mathematical versions provide upward push to large structures of linear equations. The emphasis is on practicality, with conclusions in response to concrete adventure.
Extra info for ISO/IEC 13211-1:1995, Information technology - Programming languages - Prolog - Part 1: General core
